이처럼 덧셈이 페아노의 자연수 공리계를 사용하여 다시 정의 되었습니다. 이제부터는 이 정의에 따른 덧셈이 우리가 아는 덧

셈의 여러 가지 성질들을 그대로 만족하게 하는지 일아봅시다.

아 2

피>

7~ oO] TM

thlo

앞의 덧셈 정의로 다음 5개의 성질들이 성림함

니다.

(1) 임의의 자연수 nt mol] 대하여 n+-me] 정의된다.

니 .

페아노가 이야기

주는 자연

뱀 i