Peano axioms

Peano Arithmetic

• 0은 자연수이다.

• 모든 자연수 n에 대해, S(n) (n의 후속자)도 자연수이다.

• 0은 어떤 자연수의 후속자도 아니다.

• 서로 다른 두 자연수는 서로 다른 후속자를 갖는다.

• 자연수에 대한 귀납적 정의: 자연수 집합이 0을 포함하고, 어떤 자연수 n에 대해 S(n)도 포함하면, 그 집합은 모든 자연수를 포함한다.