@ ㅋㅇ의 지언수 공리게는 다음과 같습니다.

[Se] 1] 12 자언수이다,

[공리 2] 모든 자연수 은 다음 수 /^을 갖는다.

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

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

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

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