21/11/20 23:33:11.28 5AMtJA2Q.net
>>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
(引用開始)
０＝０
１＝０，１
２＝０，１，２
・・・
ω＝０，１，２，…ω
(引用終り)
勝手に話しを、ねつ造しているよね
それって、ショルツェ氏論法だよね
勝手に、定義を書き換えて、不等式が成立しなくなったと喚く、彼の藁人形論法そっくりじゃんｗ