20/03/26 17:35:58 /vnWknlA.net
>>663
自然数は有限のモデルを持たないことを理解しましょう
（自然数全体の集合Nは有限集合にならない）
また、
・最大の自然数は存在しない
・いかなる自然数も自分以上の自然数が無限に存在する
ということも理解しましょう
（参考）
自然数の定義
・自然数0が存在する。
・任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する （suc(a) は a + 1 の "意味"）。
・異なる自然数は異なる後者を持つ。つまり a ≠ b のとき suc(a) ≠ suc(b) となる。（ある種の単射性）
・0はいかなる自然数の後者でもない（0より前の自然数は存在しない）。
・0がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。