>>312
つづき

この列で、0.1, 1-1/2,1-1/3,1-1/4,・・→1の箇所に右カッコ"}"を置くと
0,　 }1,　 }2,　}3,　}4,・・→}ω （注：例えば、}4の4は、添え字でカッコの順を示す。他も同様）

上記列の鏡映反転で、-1を掛けて、同じようにすると、左カッコ"{"の列が出来る
即ち
-1←・・,-1+1/4,-1+1/3,-1+1/2,-0.1,0
ω{←・・,4{　,3{　,2{　,1{　,0

こうすることで、左側も区間[-1,0]に埋め込める

左右を合わせると、区間[-1,1]に埋め込めて
ω{・・4{　3{　2{　1{　0　}1　}2　}3　}4・・}ω は、
区間[-1,1]の中の上記有理数の箇所に、{と }と を、可算無限配置したシングルトンとして、構成できる

ここに、0は空集合だったから、{}で置き換えて
{・・{　{　{　{　{}　}　}　}　}・・}ω
と、ツェルメロのシングルトン {・・{{{{{}}}}}・・}ωが構成できる

さて、最外側の{}ωを外すことは、順序集合 N ∪ ωから、ωを取ることに相当するから、脱コンパクト化だ
つまり、N ∪ ω→N とすることに相当する

だから元は、・・{{{{{}}}}}・・となる。これは、右半分だけを見れば
}}}}}・・→ 0　}1　}2　}3　}4・・ となって、全ての自然数を走るが、脱コンパクト化でωには決して到達しない
ちょうど、ノイマン構成の集合Nで、最外側の{}を外して、自然数の列 0,1,2,3,4,・・ ができるが如し

よって、脱コンパクト化の観点から、
{・・{{{{{}}}}}・・}ω　≠　・・{{{{{}}}}}・・　だ
だから、{・・{{{{{}}}}}・・}ωは、正則性公理には反しない！
（∵{・・{{{{{}}}}}・・}ω not∈ {・・{{{{{}}}}}・・}ω であるから）
以上