Diaconescuの定理
選択公理から排中律が導出できる，という定理
Radu Diaconesusが1975年，Noah D. GoodmanとJohn R. Myhilが1978年に発見