>>330 つづき

https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
ペアノの公理
（ペアノ算術から転送）

定義
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
（１〜４は省略）
・ 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。

5番目の公理は、数学的帰納法の原理である。