>>256 追加

　>>250より
自然数のノイマン構成：空集合から出発して、後者関数はそれ以前に出来た全ての数とする

>>164より
（ノイマン構成）に倣って、
後者関数suc (a)に対して、
それまでに出来た集合の和 ∪a との対応を考えよう
番号　　　　∪a
0:=Φ　　
1:={Φ}　　　{0}
2:={{Φ}}　　{0,1}
　・
　・
n:={・・{Φ}・・}　{0,1・・n-1}
　・
　・
　↓（極限 lim n→∞ ）
ω:=・・・{Φ}・・・　{0,1・・n-1・・}（＝：N（自然数）)）
(引用終り)

という対応になる
もし、ノイマン構成のN（自然数）が、
下記のフォン・ノイマン宇宙
Vω+ω：ordinary mathematicsの宇宙であり、ツェルメロの集合論のモデル
内の存在とすれば、
　>>176より
2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}（→は、一番右のΦを残すように不要の{}とΦを除く操作）
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}（同上）
というように
ノイマン構成の集合に対応して
→：（→は、一番右のΦを残すように不要の{}とΦを除く操作）
という集合操作を行うと、Zermeloのシングルトンが生成されるのです

なので、ノイマン構成のN（自然数）から、
→：（→は、一番右のΦを残すように不要の{}とΦを除く操作）
という集合操作、それは”超限回”の操作
で、Zermeloのシングルトンが生成されると解釈することも可能
なので、Zermeloのシングルトンも、Vω+ωの宇宙内（ツェルメロの集合論のモデル）です（＾＾；

つづく