>>734
そもそもなぜ選択公理が出てきたのか考えたことある？
ツェルメロが「任意の集合は整列可能である」ことを証明するために
選択公理を前提した、といわれている
ちなみに「」の整列可能定理を前提すると選択公理が導けるので
両者は論理的に同値である