- 873 名前：１３２人目の素数さん [2019/01/13(日) 09:40:46.90 ID:0BX0YPpQ.net]
- ペアノの公理
自然数は次の5条件を満たす。
自然数 0 が存在する。
任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。
0 はいかなる自然数の後者でもない（0 より前の自然数は存在しない）。
異なる自然数は異なる後者を持つ：a ≠ b のとき suc(a) ≠ suc(b) となる。
0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
集合{１,・・・,n｝は、nがいかなる自然数でも、
自然数の全体集合にはなりません
なぜなら、nの後者suc(n)を要素として持たないからです
有限モデル爆死
