>>671
>そこ 意味不明だよ
そこ 意味明確だよ

>赤ペン先生をしておく
まったくトンチンカンだよ

整列可能定理の証明の方法で可算集合Xの整列順序を作るには選択関数f:2^X-{}→Xが必要。且つ|2^X-{}|は非可算。よって可算選択公理は役に立たない。
一方で全単射g:N→Xが存在するからg(0)<g(1)<・・・で整列順序<を定義可能。（よって整列可能定理の証明の方法を取る必要が無い。よっていかなるタイプの選択公理も不要。）
たったこれだけのことが分からないオチコボレが口から出まかせに妄言吐かないでね。