(2) 임의의 자연수 no] 대하여 2+1=1ㅜ이다. (3) 임의의 자연수 nz} mo} 대하여 mi’ +-72= (72272) 이다. (4) 임의의 자연수 nat mol] 대하여 mt+-n=n+mele. (5) 임의의 자연수 /, m, nol] 대하여

(1 +80)+×-1+{(00+720)이다.

위 5개의 덧셈의 성질들을 페아노의 자연수 SS 중 5번째

공리수하직 aS 이용해서 증명해 보이겠습니다. 물론, 아래

더 3

증명에 등장하는 /, 《는 모두 자연수입니다,

(1) 임의의 자연수 nt mol] 대하여 n+mo| 정의된다. 1) = 1인 경우 정의로부터 2+1=7 “이 정의됩니다. i) 22=&일 때 성립한다고 가정하면 2 +/&=7인 /가 존재하

겠쥬?

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

세 번째 수업