>>408
(引用開始)
＞定義：∀n∈N fsz(n)　＜　fsz(ω)　とすれば良い
＞それで、well-definedです
早速質問
＜と∈の関係は？
例えばfsw(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω　の要素
･･{{･･{{{}0}1}2･･}n-1}n･･　は　ωより小さい？　どのｎよりも大きい？
もし両方ともYesなら、
「ωは0,1,2,…より大きい最小の順序数」
という定義に真っ向から反するね
だって、任意のｎについて
ｎ＜･･{{･･{{{}0}1}2･･}n-1}n･･＜ω
だろ？
(引用終り)

それって、ノイマン構成でも同じことだよ
　>>401 のノイマン構成 ω＝{0, 1, 2,･･,n･･･}で
最外カッコを外したら、0, 1, 2,･･,n･･･ （全ての自然数）となる

”n･･･”中の ”･･･”の部分は、ωより小さく、どのｎよりも大きい
そして、それは本来無限列が持つ性質そのもの
つまり、どの有限ｎよりも大きい自然数が存在し、そのような自然数は無限にあるが、全部有限の自然数で、ωより小さい

完全に禅問答ですがね
そこで、躓いたんだね

>>409
(引用開始)
０＝０
１＝０，１
２＝０，１，２
・・・
ω＝０，１，２，…ω
(引用終り)

勝手に話しを、ねつ造しているよね
それって、ショルツェ氏論法だよね
勝手に、定義を書き換えて、不等式が成立しなくなったと喚く、彼の藁人形論法そっくりじゃんｗ