21/11/16 11:00:06.14 2EuFDWdY.net
>>345 補足
(引用開始)
ノイマン構成でも同じこと
ノイマン構成 N(=ω)={0,1,2,・・・}で
{}を外すと、0,1,2,・・・ なる列ができるが、これはエンドレス無限(可能無限)
0,1,2,・・・は、一番右は決められない。エンドレスだから
しかし、可算無限列 0,1,2,・・・は、厳然と存在するよね
(引用終り)
1.0,1,2,・・・ なる列ができる。これは、自然数の列で、無限公理より、全ての自然数を尽くすエンドレス無限(可能無限)
2.まず、これを認めましょうね
3.0,1,2,・・・ なる列で、一番右がない? 当然でしょ、エンドレス無限(可能無限)だから
4.0,1,2,・・・ なる列は、集合の列ではない?と。 一番右がないので、”・・・”は集合列ではなくなる? ご冗談でしょ!
5.明らかに、0,1,2,・・・ なる列を集合列とするために、無限公理を置いたでしょ!
6.あとは、0,1,2,・・・ なる エンドレス無限(可能無限)を種として、他のいろんな数学で必要な無限を作れるよ
時枝の可算無限個の箱>>345とかね、いろんな無限が扱えるよ
だから、無限公理を一つ置いて、自然数Nを作れば、公理系としては取りあえずは、十分ってことだ
自然数Nから派生する類似のエンドレス無限(可能無限)を、一切認めないとか、アホすぎる