21/10/14 07:29:21.83 fCifkauW.net
>>210 追加
> だけど、そもそも、可算多重の{{{...}}}ωとは何者で、数学的にどう考えるべきかの議論のときに
> 一番外に{}が有るの、無いのは、幼児のたわごとにすぎないじゃん。それって、本質じゃないよね
下記のOrdinal numberで、”A graphical "matchstick" representation”が分かり易いので、紹介しておく
ωは、”the first infinite ordinal, ω”なんだけど、極限順序数でもある（下記）
一つの解釈として、ωの本質は有限からの極限だってこと
ωがノイマンの方法で、ZFC中で構成されたとしよう
ωの最外層の{}を外す行為は、ωの前者を求めるに等しい
しかし、ωは後続順序数ではないから、ωの前者は存在しない
従って、ωの最外層の{}を外す行為は、数学的にはナンセンスで
ωの最外層の{}を外したら云々の議論もナンセンス
あたかも、無理数に収束する有理コーシー列で、例えばπの一つ前の有理数を問うがごとし
あるいは、0.999・・なる無限小数が1に収束するのに対して、1に成る前の0.999・・を問うがごとし
そういう幼稚な議論を、何年も気付かずにいる
それじゃ、数学科で落ちこぼれ�