>>26
選択公理を使ってZornの補題が証明されるのだからそのままで良いではないか。
Zornの補題を使った証明が読み難いようでは、通常数学の証明でも不自由する
ことになるぞ。