[공리 4]두 자연수의 다음 수들이 같다면, 원래의 두 수는 같다는 앞에서

~

사용한 ‘TES 수” 라는 의미가 직관적인 방식으로 정해진 것이

때 내 ol

그

]어떤 성질을 1이 가지며, 또 그 AAS 가지는 임의의 자연수의 다

그 성질을 모든 자연수가 갖는다는 [공리 1]부터 [공리 4]

까지를 만족하게 하는 수들이 바로, 모두 자연수임을 한정하기

위한 것입니다.

첫 번째 수업