1+1=2인 이유는 수학적으로 증명되어 있는 등식입니다. 이 등식은 페아노 공리계(Peano's axioms)를 기반으로 한 자연수의 정의와 덧셈 연산의 정의에 따라 성립합니다.
페아노 공리계는 수학의 기초를 이루는 공리들로, 자연수의 성질을 정의하고 증명하기 위해 사용됩니다. 이 공리계에서는 1을 기본 단위로 정의하고, 덧셈 연산을 정의합니다. 1+1은 2로 정의되어 있으며, 이는 두 개의 1을 합쳤을 때 얻어지는 결과입니다.
더 자세한 내용은 위키백과의 "페아노 공리계" 문서를 참고하시기 바랍니다.
참고 자료:
- https://namu.wiki/w/1+1