22/01/16 08:26:32.11 e5xijWkZ.net
>>245
>有限重シングルトンも空集合もぜんぜん新しくないけど?
同意だよ
添え字 n∈N で、
後者関数 suc(an)={an}n+1 (つまり、添え字nやn+1は残す)として
0,1,2,・・n,n+1,・・→ω(極限)
0→{}0
1→{{}0}1
2→{{{}0}1}2
・
・
n→{・・{{{}0}1}2・・}n
n+1→{{・・{{{}0}1}2・・}n}n+1
・
・
↓
ω→{・・{{・・{{{}0}1}2・・}n}n+1・・}ω(極限)
という対�