고 모두가 친숙하게 느끼는 、자연수” 에 대하여 논리적으로 까지 파고들어 간 연구입니다. 그런데 이러한 기초적인 연구를 하는 데 사용할 수 있는 수학 내용은 수학적으로 따지거나 증명 을 해 보여야 되는 내용이 아니라 누구는지 그 내용을 보자마자

바로 받아들일 수 있는 명제이를 ger ear 한다이나, 굳이 정의를

자연수의 공리체계 연구에 사용한 공리는 5개이고, 다음과 같이 이 5개의 공리는 읽어 보면 증명이나 보충 설명 없이도 즉시 그

의미를 받아들일 수 있는 분명한 사실들임을 알 수 있습니다.

[공리 1 1은 차언수이다.

[공리 2] 모든 자연수 은 다음 F’s 갖는다.

[공리 3] 12 어떤 자연수의 다음 수도 아니다.

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

[공리 5] 어떤 성질을 1이 가지며, 또 그 성질을 가지는 임의

의 자연수의 다음 수도 가지면, 그 성질을 모든 자

연수가 갖는다.

[