>>909
>やめたら？

ID:CqhFjAXa は、御大か
プロ数学者がいうのは

プロ数学者から見て
レベルの低い 数学初級者丸見えの つまらんレスを ”止めれ！” ということだろう

『１０００回繰り返しても足りない』（>>877より）
とのプロのアドバイス
レベルの低い 数学初級者丸見えの つまらんレスの
相手を １０００回繰り返して 意味が無いという

なるほどと思って検索すると >>907の いつもお世話になっている
alg-d 壱大整域氏の
選択公理→ (整列可能定理) が すぐ見つかった(>>907)

alg-d 壱大整域氏 >>907の
証明 (1 ⇒ 2) の本質は
Xの冪集合 P(X)＼{ ∅ } に 選択公理の選択関数 を適用すると
それが 如何なる 選択関数を採用したとしても

”写像 g:λ→X∪{∞} を
g(α ) := f( X＼{g(β)|β<α} )”
なる g を 導入して

　順序数 → X∪{∞} （実質 Xのこと）
の 全単射 写像 g が構成できる

順序数と Xとの 全単射 が構成できるということは、
即ち Xに整列順序が導入できたということ

レベルの低い 数学初級者丸見えの つまらんレスの
相手を １０００回繰り返して 意味が無いという アドバイス

なるほど
よく分りましたｗ ；ｐ）