20/01/01 22:57:31.63 E03EXCHH.net
>>195
>すでにどこかプロの証明があるはず。
プロはこんな初等的な問題の「証明」なんていちいちやらないよw
>>197
まともに数学を勉強した人間なら、
Zermelo順序数を極限順序数に拡大するにあたり
維持すべき性質が何か、を真っ先に考えるでしょう
その場合「シングルトン」を維持すべき性質と考えるのは
センスが全くないナイーブ直感馬鹿でしょう
「極限順序数からより小さい順序数への∈降下列の存在」
を順序関係の定義として不可欠と考えるなら、
Zermelo順序数の定義の拡大の方法は自ずから明らか
そしてその場合、ωは無限集合でなくてはならない