>>153 補足

（ノイマン構成）に倣って、
後者関数suc (a)に対して、
それまでに出来た集合の和 ∪a との対応を考えよう

番号　　　　∪a
0:=Φ　　
1:={Φ}　　　{0}
2:={{Φ}}　　{0,1}
　・
　・
n:={・・{Φ}・・}　{0,1・・n-1}
　・
　・

　↓（極限 lim n→∞ ）

ω:=・・・{Φ}・・・　{0,1・・n-1・・}（＝：N（自然数）*)）

注*)
１． {0,1・・n-1・・}＝：N（自然数）は、極限順序数ωより前の全ての有限順序数の集合である
２．ノイマン構成では、後者関数の定義が、「a以前に出来た全ての集合」なので
　　特に、ω＝Nになる
３．しかし、ノイマン構成以外の後者関数の定義においては、そうはならない！（＾＾