수학에서 \(1 + 1 = 2\)라는 식은 너무나 자명하게 보이지만, 엄밀한 수학적 체계 안에서는 이 식 역시 정의와 공리, 논리를 기반으로 증명되어야 합니다. 특히 집합론을 바탕으로 한 페아노 공리계와 『프린키피아 마테마티카(Principia Mathematica)』에서 이 명제는 수십 페이지에 걸쳐 논리적으로 증명됩니다. 이 글에서는 \(1 + 1 = 2\)의 엄밀한 정의와 증명 방법을 소개합니다.
1. 자연수의 공리적 정의 (페아노 공리)
페아노 공리는 자연수를 정의하기 위해 다음과 같은 공리들을 제안합니다:
- 0은 자연수이다.
- 모든 자연수 n에 대해, 그 다음 수 S(n)가 존재한다. (계승자)
- 0은 어떤 자연수의 계승자도 아니다.
- 서로 다른 수는 서로 다른 계승자를 갖는다.
- 수학적 귀납법의 공리
여기서 숫자 1은 0의 다음 수 \( S(0) \)로 정의됩니다. 마찬가지로 2는 \( S(S(0)) \)로 정의됩니다.
2. 덧셈의 정의
덧셈은 귀납적으로 다음과 같이 정의됩니다:
- \( a + 0 = a \)
- \( a + S(b) = S(a + b) \)
이를 통해 우리는 점진적으로 \(1 + 1\)을 계산할 수 있습니다:
- 1은 \(S(0)\)
- \(1 + 1 = S(0) + S(0)\)
- \(= S(S(0) + 0) \)
- \(= S(S(0)) \)
- \(= 2 \)
3. 『프린키피아 마테마티카』의 접근
버트런드 러셀과 알프레드 노스 화이트헤드는 『Principia Mathematica』에서 1 + 1 = 2를 증명하기 위해 수십 페이지의 논리적 체계를 구축합니다. 그들은 숫자와 연산을 모두 집합론적으로 정의하고, 동치류, 순서쌍, 함수 개념을 사용하여 덧셈을 형식화합니다.
이 방식은 일반 독자에게는 매우 복잡하지만, 수학의 기초를 논리적으로 단단히 다지기 위한 시도라는 점에서 의미가 큽니다.
4. 철학적 의의
\(1 + 1 = 2\)의 증명은 단순한 계산이 아닌, 수학적 언어와 논리를 체계적으로 구성하고 증명하는 과정의 일환입니다. 이는 수학이 단순히 직관이 아닌, 공리적 체계에 기반하여 구성된다는 점을 보여줍니다.
결론
\(1 + 1 = 2\)는 일상적으로 너무 당연하게 여겨지지만, 엄밀한 수학적 체계에서는 정의, 공리, 논리의 정교한 조합을 통해 증명됩니다. 이 증명은 수학의 철학적 깊이와 체계성을 보여주는 상징적인 예로 널리 인용되며, 수학이 신뢰할 수 있는 학문이라는 점을 강조합니다.