1+1은 왜 2인가요?

1+1은 왜 2인가요? 수학 원리에서 360페이지에 걸쳐 완성한 논리 증명

1+1은 왜 2인가요?라는 당연해 보이는 물음은 사실 수학의 가장 깊은 기초를 다루는 복잡한 논리 체계의 핵심입니다. 무심코 사용하는 숫자의 의미를 논리학 관점에서 엄밀하게 재구성하는 과정은 학문적 엄밀함의 상징입니다. 단순한 연산 뒤에 숨겨진 방대한 지적 탐구 과정을 통해 수학적 사고의 본질을 명확히 이해합니다.

1+1은 왜 2인가요? 당연함 속에 숨겨진 수학적 질서

이 질문은 단순한 산수 문제를 넘어 수학의 가장 근본적인 토대를 묻는 철학적인 질문이기도 합니다. 결론부터 말하자면, 1+1이 2인 이유는 우리가 자연수를 그렇게 정의하고 덧셈이라는 연산 규칙을 약속했기 때문입니다. 수학자들은 자연수란 무엇인가라는 근본적인 물음에 답하기 위해 몇 가지 약속(공리)을 세웠고, 그 규칙을 따라가다 보면 1 다음의 숫자가 2가 된다는 사실을 엄밀하게 증명할 수 있습니다.

단순히 사과 하나에 하나를 더하면 두 개가 된다는 경험적 사실을 넘어, 수학의 세계에서는 숫자의 존재와 연산의 과정을 논리적으로 연결하는 과정이 필요합니다. 이를 위해 사용되는 대표적인 도구가 바로 페아노 공리계입니다. 이 시스템 안에서 1과 2는 단순한 기호가 아니라 특정 순서와 성질을 가진 존재로 정의됩니다.

수학의 기초를 세운 페아노 공리계와 후계자 함수

19세기 이탈리아의 수학자 주세페 페아노는 자연수의 성질을 설명하기 위해 5가지 핵심 공리를 제시했습니다. 이 공리계의 핵심은 후계자(Successor) 함수라는 개념입니다. 모든 자연수는 그다음 숫자를 가지고 있다는 원리인데, 이를 기호로 S(n)이라고 표현합니다. 이 논리에 따르면 숫자는 다음과 같이 정의됩니다.

0(또는 1): 시작점이 되는 기초 숫자입니다. 1: 0의 후계자, 즉 S(0)입니다. 2: 1의 후계자, 즉 S(1) 또는 S(S(0))입니다. 즉, 2라는 기호 자체가 수학적으로는 1 바로 다음에 오는 숫자라는 의미를 내포하고 있습니다.

덧셈 연산의 정의

숫자를 정의했다면 이제 덧셈(+)이 무엇인지 약속해야 합니다. 페아노 Arithmetic(산술)에서 덧셈은 다음과 같은 두 단계로 정의됩니다. 1. 어떤 수 a에 0을 더하면 자기 자신인 a가 된다. (a + 0 = a) 2. 어떤 수 a에 b의 후계자를 더하는 것은, a와 b를 더한 결과의 후계자와 같다. (a + S(b) = S(a + b))

이제 이 규칙에 1+1을 대입해 보겠습니다. 1+1은 1+S(0)으로 쓸 수 있습니다. 위 2번 규칙에 따라 이는 S(1+0)이 되고, 1번 규칙에 의해 괄호 안의 1+0은 1이 되므로 최종 결과는 S(1)이 됩니다. 그런데 우리가 앞서 S(1)을 2라고 부르기로 약속했으므로, 자연스럽게 1+1=2라는 결론에 도달하게 됩니다.

360페이지가 넘는 증명: 러셀의 수학 원리

버트런드 러셀과 앨프리드 노스 화이트헤드는 그들의 저서인 수학 원리(Principia Mathematica)에서 1+1=2를 증명하기 위해 무려 360페이지 이상을 할애했습니다. 사실 ^[1] 이들이 360페이지 내내 1+1만 계산한 것은 아닙니다. 이 방대한 분량의 대부분은 숫자, 집합, 논리 기호 등 수학의 가장 밑바닥에 있는 개념들을 엄밀하게 정의하는 데 사용되었습니다.

이들은 논리학만으로 수학 전체를 재구축하려 시도했습니다. 이 과정에서 1+1=2라는 명제는 책의 1권 379페이지(제2판 기준 362페이지)에 이르러서야 등장합니다. 증명이^[2] 완료된 후 저자들은 이 명제는 가끔 유용하게 쓰일 것이다라는 유머러스한 주석을 남기기도 했습니다. 이는 수학적 엄밀함을 추구하는 과정이 얼마나 정교하고 복잡한지를 보여주는 상징적인 사례로 남아 있습니다.

현대 수학과 실생활에서의 의미

실생활에서 1+1=2는 너무나 당연하지만, 때로는 상황에 따라 결과가 달라지기도 합니다. 예를 들어 물방울 한 방울에 다른 한 방울을 더하면 여전히 커다란 한 방울(1+1=1)이 될 수 있습니다. 이는 수학적 숫자와 물리적 대상의 차이를 보여줍니다. 수학에서의 1은 순수한 추상적 단위이며, 이 단위가 유지될 때만 1+1=2라는 법칙이 성립합니다.

최근 인공지능과 컴퓨터 과학 분야에서도 이러한 논리적 기초는 매우 중요합니다. 컴퓨터는 0과 1의 비트 연산을 통해 모든 계산을 수행하는데, 이때 사용되는 불 대수(Boolean Algebra)에서는 1+1이 1이 되거나(OR 연산), 0이 되기도(XOR 연산) 합니다. 하지만 우리가 일상적으로 사용하는 십진법과 자연수 체계 내에서는 페아노 공리가 정한 질서에 따라 1+1은 언제나 2라는 확고한 진리를 유지합니다.

1+1=2를 설명하는 두 가지 관점

페아노 공리계 (Peano Axioms)

- 후계자 함수 S(n)를 이용한 자연수 정의

- 재귀적 정의를 통한 산술적 유도

- 비교적 직관적이며 현대 수학 교육의 기초

러셀의 수학 원리 (Logicisms)

- 집합론과 기호 논리학을 통한 수의 구축

- 360페이지 이상의 방대한 정의와 논리 전개

- 매우 높음 - 고도의 추상적 사고 필요

수학 전공생 민수의 '당연한 것' 증명하기

서울의 한 대학교 수학과 신입생인 민수는 첫 전공 수업에서 '1+1=2임을 증명하라'는 과제를 받았습니다. 처음에는 교수님이 농담하시는 줄 알고 웃었지만, 백지를 앞에 두자 막막함이 밀려왔습니다.

민수는 단순히 '사과 두 개'를 그렸다가 감점을 당했습니다. 수학적 증명은 시각적 묘사가 아니라 논리적 정의에서 시작해야 한다는 사실을 간과한 것이었습니다. 정의되지 않은 기호를 사용한 것이 패착이었습니다.

결국 도서관에서 페아노 공리계를 찾아낸 민수는 숫자를 '양'이 아닌 '순서'와 '함수'로 바라보기 시작했습니다. S(n)이라는 후계자 함수의 개념을 도입하자 꼬였던 실타래가 풀리기 시작했습니다.

민수는 A4 용지 한 장 분량의 엄밀한 증명서를 제출하여 최고 점수를 받았습니다. 당연하다고 믿었던 상식 뒤에 정교한 논리 체계가 있다는 것을 깨달은 민수는 이후 전공 공부에 더 큰 흥미를 느끼게 되었습니다.