1+11 1 + 1 = 2의 증명 사소한 행복이 삶을 아름답게 만든다 1+1=2라는 사실은 명백해요. 그런데 그 이유에 대해 생각해본 적이 있나요? 그 이유를 ‘페아노 공리계’를 이용하여 증명해보도록 할게요. 수학에서는 따로 정의하지 않는 대상(무정의 용어)들과 그 대상들 사이에 성립하는 기본관계(공리)를 두고 논리를 전개해요. 이렇게 구성되는 체계를 공리계라고 하죠. 페아노 공리계는 자연수의 체계를 묘사하는 공리계예요. 페아노 공리계는 다음과 같은 다섯 개의 공리로 이루어져있어요. ▶1은 자연수이다. ▶모든 자연수 n은 그 다음 수 n'을 갖는다. ▶n'=1 인 자연수 n은 없다. ▶m'=n'이면 m=n이다. ▶P(1)이 참이고 모든 자연수 k에 대해 P(k) 가 참일 때 P(k')이 참이면 P는 모든 자연수에 대해 참이다. 첫번째 공.. 2023. 4. 13. 이전 1 다음
