0:52 나히다의 말을 여기다 쓰겠습니다. I. 『첫째 1은 자연수이다.』『둘째 n이 자연수 일때,n의 계승자 n'도 자연수이다.』『셋째 n'=1인 자연수 n은 없다.』『넷째 m'=n'이면 m=n이다. 』 『다섯째 p(1)이 참이고 모든 자연수 x에 대해 p(x)가 참일 때 p(x')가 참이면 p는 모든 자연수에 대해 참이다. 』 그러면 1->1'->1''->1'''->1''''.......,으로 1로부터 파생된 무한 직진 집합, 1의 길을 벗어나지 않은 한 줄에서 1부터 파생된 계승자에게 2,3,4,5.....,를 적절히 사용히여 1,2는 자연수임을 정의한다. II.+는 두가지 성질을 만족하면 된다. 『첫째 모든 자연수 n에 대하여 n+1=n' 이다.』『둘째 모든 자연수 m,n에 대하여n+m'=(n+m)'이다.』 n+1에 어떤 자연수에 무조건 자연수인 1을 더하면 결과도 n의 계승자인 자연수이다. 이 더하기 성질에 n=1을 대입하면 1+1=1' 이므로 1'=2라고 약속했므로 1+1=2이다.
