>>592 
ノイマン構成
0:={}
1:={0}
2:={0,1}
 ・
 ・
n:={0,1,・・,nー1}
 ・
 ・
ω: N:={0,1,・・,n,・・}
ω+1:N`:={0,1,・・,n,・・,N}
てことでしょ(゜ロ゜;