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