지 않았겠죠? 다시 잘 생각하며 위의 좌변과 우변을 각각 살펴보

atm!’ +13} (00ㅠ1)“이 같은지 따저 봅시다.

좌변 : 22 +1=(m4+1)+1 우변 : (/2+1)”=(772+ 1) + 이므로,

47+1=(200+1)”이 성립합니다.

ii) 4=&일 때 성립한다고 가정하면 2 +k=(m+k) AUG,

이제 2=/&-+1일 때도 성립하는지 양변에 1을 더하여 봅시다.

(mi! +k) +1=(m+k)’+19] 됩니다.

좌변 : (mi! +k) +1=m’+(k+1)

우변 : (m+k)’+1=((mt+k)+1+1 ={(m+(k+1)}+1 =(m+(k+1) el 됩니다.

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