72+^=7 (ntk)+1=j+1

이것은 다시 ‘덧셈’ 정의에 따라 다음과 같이 다시 쓸 수 있습

니다. nt(k+1)=j+1=/’ 그런데 /는 자연수아므로 7의 「다음 수’ 인 /’이 존재하므로, /2=/^-1일 때도 성립한다고 볼 수 있겠죠? 따라서 임의의 자연수 2, moll 대하여 + //2이 정의됩니다.

(2) 임의의 자연수 에 대하여 2+1=1-+ 이다.

)22=1인 경우 1+ 1=1+1=1Ｌ이므로 성립합니다.

i) 2=&일 때 성립한다고 가정하면 2+-1=1+ 에 22 대신 《

대입한 식이 성립하므로,

때

페아노가 들려주는 자연수 이야기