>>799
つづき
（参考）
https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
存在と一意性
・0 := {}
・1:= suc (0)={0}
・2:= suc (1)={0,1}={0,{0}}
・3:= suc (2)={0,1,2}={0,{0},{0,{0}}}
等々である。 この構成法はジョン・フォン・ノイマンによる[1] 。

https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
形式的な定義
自然数の公理
集合論において標準的となっている自然数の構成は以下の通りである。
任意の集合 a の後者は a と {a} の合併集合として定義される。
　suc (a):=a∪{a}

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理
定義
ZF公理系における公式な定義は次の通りである。
空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
(引用終り)

注）
x ∪ {x}が、上記ノイマン構成の後者になっているから、
「任意の要素 x に対して その後者を要素に持つ集合が存在する」と読み替えると
無限公理の意味が、明白になる
以上