나 18 [윈

페아노의 자연수 공리체계가 어떻게 자연수를 정의하고 설명

에

이제 이들 3개의 용어와 5개의 공리로부터 자연수가 어떻게 유 도되는지를 간단히 설명하겠습니다. 먼저 을 갖다 놓고, 2S 1 의 다음 수로 정의하고, 3을 29] 다음 수로 정의하고, ~~” 이와 같은 새로운 수에 대한 정의를 계속합니다. 이렇게 하여 정의된 들은 모두 [공리 2]에 의해 반드시 하나의 ‘다음 수’를 가지게 니

rid

*

1, 2,2, 4, 9,6, 7,

27S] 다른 수는 [공리 41에 의해 절대로 같은 ‘다음 수’ 를 2

페아노가 들려주는 자연수 이야기