率直に言って、Jechの本の証明は
「なんだ、それだけのことか」
という感じのもの
（注：別にJechはディスってない）

「Aの空でない部分集合から要素を取り出す選択関数」で十分なのに
なぜ、選択関数の定義域を「Aの空でない部分集合」から
より小さい集合族に限定する必要があるのだろうか？
しかも◆yH25M02vWFhPは、限定に思いっきり失敗してるし

可算集合の整列が、可算選択公理で出来るって
考え無しのオオボケかましたのを正当化しようってか？
そりゃおまえが考えなしに発言するから悪いんだろ？

恥かくのが嫌なら永遠に黙れ
この大学数学オチコボレの工学部卒の社奴が