>>703

ほいよ
・自然数の構成法は、後者関数の選び方に任意性がある。しかし、「二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる」
・上記で、標準的なノイマン構成以外に、シングルトンによる自然数構成も可能
・自然数全体の集合N(（特に順序数に関する文脈で）ギリシャ文字の ω )の存在は、無限公理から導かれるもの。後者関数の定義とは無関係（後者関数にシングルトンを選んだら云々はド素人）

（参考）
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
(抜粋)
存在と一意性
集合論における標準的な構成によって、ペアノシステムの条件を満たす集合が存在することを示せる。 まず、後者関数を定義する; 任意の集合 a に対してその後者を suc(a) := a ∪ {a} と定義する。

N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。

この構成法はジョン・フォン・ノイマンによる[1] 。

これは可能なペアノシステムの構成法として唯一のものではない。

一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理）
二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。

https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数

集合論において標準的となっている自然数の構成は以下の通りである。
（上記のノイマン構成法で略す）
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
（注：これがシングルトンによる自然数構成）

つづく