19/10/05 07:27:45.86 kZwmbLNI.net
>>17
＞Φ∈{Φ}∈{{Φ}}∈{{{Φ}}}∈・・・∈{{・・{Φ}・・}}（=n）∈・・・∈{{・・・{Φ}・・・}}(=ω)
>>23でも指摘しましたが、∈{{・・・{Φ}・・・}}の左側が・・・なので
何が要素か”明らか”ではありません。
そしてこの場合
ω＝{{},{{}},{{},{{}}},…} （ノイマン構成の自然数の全体）
や
ω＝{{},{{}},{{{}}},…} （ツェルメロ構成の自然数の全体）
と違って、任意の自然数ｍをもってくることはできません。
なぜなら
{{・・{Φ}・・}}（=n）∈{{・・・{Φ}・・・}}(=ω)
ではないからです。
したがって
＞ノイマン構成が、正則性公理に反しないならば
＞ツェルメロ構成でも、正則性公理に反しない
という文章ですが、ノイマン構成のωを
{{},{{}},{{},{{}}},…}
とし、ツェルメロ構成のωをあなたのいう
{{・・・{Φ}・・・}}
とした場合、完全な誤りです。