21/10/14 07:18:53.05 mdAX1Bxg.net
>>210
>いま問題は、ツェルメロを離れて、
>可算多重の{{{...}}}ωとは何者で、
>数学的にどう考えるべきかの議論だ
>だから、作り方は、ツェルメロに拘らなくて良い。
その問題に対して
「もし一番外側に{}がないなら、集合ではない」
という結論が出た
これ、理解した？
>従って、様々な作り方があるはず。…
>ならば、一番外に{}が有るの、無いのは無関係だよ
ならば、の前後がつながらんのは分かるか？
>のみならず、本体の可算多重の{{{...}}}ωだって
>唯一に決まるかどうかも、未確定だろ？
結論からいうと、唯一ではない
少なくとも可算無限種類ある
たかだか可算無限かどうかはわからん
考えてみ
>勿論、不適切なものもあるだろうが、
>問題は適切なものが、最低一つでもあれば、それで良しだ
順序数ωの定義と合致するのは･･･{{{}}}･･･しかないが
それはそもそも集合になり得ない
図形として定義した上で、<と>を定義しなおすならできると思うぞ
やってみ
>なお、可算多重の{{{...}}}ωは、下記コンパクト化の観点からも、
>存在する方が、数学的かつ美的にはバランスが良いよね
>だいたいが、コンパクト化はできるのが普通だからね
コンパクト化するだけなら
ω={{},{{}},{{{}}},…} とすればいいだけ
可算多重の{{{...}}}ωである必要はない
素人の「美的センス」は知らん
どうせ有限重シングルトンがあるんだから無限重もあったら美しいよね？
みたいな安易で怠惰な発想だろ？
それのどこがどう美的？
朝はここまでにしとく
返答に対する再返答は18:00以降
だから慌てて脊髄反射せずにじ～っくり考えて書けよ
ま、211とこの書き込みの正しさを全面的に認めて
何も言い返す言葉もないというなら
わざわざ返答しなくていいぞ
仕事忙しいんだろ？
こんなくだらぬ板でくだらぬ書き込みしてる暇あったら仕事しろ
じゃあな