19/12/15 09:27:45.04 PRdnkv5o.net
>>775
>7)ノイマンの自然数構成で、ωが構成できた
次者関数S(x)=x∪{x}だけではできないよ
無限公理
{}∈ω∧(x∈ω⇒x∪{x}∈ω)
を認めることではじめて構成できる
>8)この無限長の列は、当然正則性公理には反しない
降下列は有限長だよ だ・か・ら正則性公理には反しない
ω∋0
ω∋1∋0
ω∋2∋1∋0
…
どれだけ伸ばしても有限
>9)同じ事が、Zermelo構成でできる。正則性公理には反しない!!
同じ事=無限公理の導入、なら
{}∈Ω∧(x∈Ω⇒{x}∈Ω)
ってことだから、もちろんできるし
正則性公理には反しない
ただしΩはシングルトンではない!
Ω={{},{{}},{{{}}},…}