<공리1>. 0은 자연수다. <공리2>. 모든 자연수 n에 대해서 n'은 바로 다음 자연수이다(0' = 1, 1' = 2, 2' = 3, ...). 증명방법은 페아노 공리계를 이용해염^^
[무물보AI] 답변 로딩중...