2. 임의의 자연수 n에 대해, n의 다음 수도 자연수이다
3. 임의의 자연수 n에 대해, 1은 n의 다음 수가 아니다
4. 임의의 두 자연수 m, n에 대해, (n의 다음 수)=(m의 다음 수) 이면 n=m
5. 자연수의 집합은 앞의 공리들을 만족하는 모든 집합 중에서 가장 작은 집합이다


어때?