>>618

> 空と{}だけで、Nができるよ

それだと無限公理なしでNができることになるでしょ

無限公理 = Nは既に存在している


> Nから、逆に{}までたどれるでしょ

suc(n) = ωとなる自然数は存在しないんです
任意の自然数nとωの差は有限ではない

https://ja.wikipedia.org/wiki/順序数
> ある順序数 β が存在して α = S(β) となる順序数 α を後続順序数と呼ぶ。
> 0 でも後続順序数でもない順序数を極限順序数と呼ぶ。
> ω は最小の極限順序数である。