20/11/27 00:42:49.47 fP2aKWhH.net
>>765
>じゃ、箱でも括弧 } でも同じように、可算無限個用意できるよね }・・}}・・・ ってね
無限個用意したとして、一番右の}は存在しないけどなw
存在するとすると無限個であることと矛盾するからw
>で、上記列を鏡(カガミ)に写した鏡像を作れば、逆の括弧の列も、同様に ・・・{{・・{ ってできるよ
同様に一番左の{は存在しないけどなw
>そして、真ん中に0を入れて、
>・・・{{・・{ 0 }・・}}・・・ ってできるよね
一番外側の{と}は存在しないけどなw
>それだけのことでしょ?
>・・・{{・・{ 0 }・・}}・・・ は、シングルトンであって、括弧{} が可算無限重に重なっている集合で
一番外側の{と}が存在しないんだから当然集合じゃないけどなw
従ってシングルトンでもないw
>これがZermeloのシングルトン構成によるωでしょ
集合論なのに集合でないものを持ち出して何がしたいのかw
>自然数の無限数列 0, 1, 2, ・ ・ ・n,・ ・ ・の存在を認めたら、ここまでは必然で、簡単な話でしょ
集合論的に自然数を構成するには自然数の存在が必要であると?
自分で何言ってるか分かってる?