체계가 자기 힘만으로 모든 산술 명제를
결정할 수 있을까요?

논문 첫머리는 수학의 넓은 영역이 소수의 기호와 기계적인 규칙으로 형식화되었다고 설명합니다. Principia Mathematica와 집합론 공리계가 당시 수학의 증명 방법을 폭넓게 담았으므로, 표현 가능한 질문마다 문장이나 그 부정을 증명할 수 있으리라는 기대가 자연스럽게 생겼습니다.

괴델은 형식화의 성과를 부정하지 않습니다. 오히려 규칙이 정확히 정해졌기 때문에 “무엇이 증명인가”를 다시 수학적으로 연구할 수 있었고, 그 연구가 체계의 한계를 드러냈습니다.

한 형식체계 안에서 문장 A도 그 부정 ¬A도 증명되지 않는 경우를 말합니다. 이때 결정 가능성은 정해진 공리와 추론 규칙으로 이루어진 특정 체계의 증명 관계를 가리킵니다. 사람이 느끼는 확신이나 무지는 별개의 문제입니다.

체계에 새 공리를 보태면 그 문장이 결정될 수 있습니다. 그러나 충분히 강하고 효과적으로 주어진 새 체계에도 같은 방식의 새 결정 불가능 문장이 생길 수 있다는 점이 핵심입니다.

정확한 전개에서는 자연수 산술을 표현할 수 있는 체계 P를 정하고, 그 문법과 공리·추론 규칙을 자세히 적습니다. 도입부는 논증이 Principia Mathematica와 당시 집합론처럼 충분히 표현력이 큰 체계에 적용된다고 설명합니다.

달력 규칙이나 단순한 유한 게임처럼 산술을 충분히 표현하지 못하는 체계까지 불완전하다고 결론 내릴 수는 없습니다. 효과적으로 주어진 문법과 산술 표현력, 그리고 적절한 무모순성 조건이 함께 필요합니다.

설명용 번호표를 0 ↦ 1, = ↦ 2, 1 ↦ 3으로 정합시다. 부호열 0=0은 번호열 (1,2,1)이 됩니다. 각 번호를 차례로 소수 2, 3, 5의 지수에 놓으면 2¹×3²×5¹=90입니다. 90을 소인수분해하면 지수 1·2·1을 읽어 원래 부호열로 되돌릴 수 있습니다.

같은 표에서 0=1은 2¹×3²×5³=2250입니다. 두 식이 서로 다른 코드가 되지만, 코드가 있다는 사실만으로 식이 참이거나 증명되었다고 판단할 수는 없습니다. 식의 문법과 증명의 각 줄이 규칙을 지키는지는 따로 검사합니다.

아래 번호표는 계산을 작게 만들기 위해 정한 것입니다. 괴델의 원래 번호표와 구분해서 보세요.

서로 다른 소수의 거듭제곱을 곱한 수는 소인수분해를 통해 각 지수를 다시 찾을 수 있습니다. 첫째 부호의 번호를 2의 지수, 둘째를 3의 지수처럼 놓으면 한 자연수에서 원래 부호열을 복원할 수 있습니다.

이 선택은 일대일 대응과 계산 가능성을 확보합니다. 문법적 대상을 자연수 관계로 옮기면, 체계 바깥에서 말하던 “식이다”와 “증명이다”를 산술 명제로 다룰 길이 열립니다.

괴델은 대입, 부호열의 구성, 공리 여부, 증명열 여부 같은 메타수학적 관계를 재귀적 수론 관계로 정의합니다. 이어 이런 관계들이 체계 P의 공식으로 수치별 표현될 수 있음을 차례로 보입니다.

덕분에 “x는 y의 증명이다”와 “y는 증명 가능한 공식이다”라는 체계 바깥의 말을 자연수에 관한 공식으로 바꿀 수 있습니다. 자기 언급은 이 표현 가능성에서 정확한 구성으로 생깁니다.

먼저 “빈칸이 하나인 식에 수를 넣기”를 생각합시다. x=0에 수 3의 표기를 넣으면 3=0이 됩니다. 이 대입은 부호열을 바꾸는 작업이고, 번호화 뒤에는 코드에서 코드를 계산하는 작업이 됩니다.

d(n)을 “n번 식에 n의 수표현을 넣어 얻는 문장의 코드”라고 하겠습니다. 이제 θ(x)를 “d(x)는 증명 가능한 문장의 코드가 아니다”라고 말하는 식으로 잡습니다. θ의 코드를 k라고 할 때 θ에 k를 넣은 문장 G의 코드는 d(k)입니다. G가 말하는 d(k)는 바로 G 자신의 코드가 됩니다.

이 설명의 d는 대입 계산을 줄여 쓴 표기입니다. 실제 형식화에서는 그 계산 관계를 산술식으로 표현해야 합니다. 그 표현 가능성을 마련한 뒤에 자기 증명가능성에 관한 문장을 구성합니다.

논문의 증명 구상은 결정 불가능 문장이 해석상 자기 자신의 증명 불가능성을 말한다고 설명합니다. 따라서 거짓말쟁이 역설과 가까운 친족 관계가 있지만, “나는 거짓이다”라는 문장을 그대로 쓰지는 않습니다.

핵심 술어는 진리보다 형식적 증명가능성입니다. 원문은 순환이 없어 보이는 번호·대입 정의를 먼저 마련한 뒤, 특정 공식과 그 코드의 관계를 메타수학적으로 해석합니다.

Prf(n,g)를 “n은 코드 g인 문장의 증명 코드다”라고 읽겠습니다. g는 G의 코드입니다. G는 모든 n에 대해 ¬Prf(n,g), 곧 자기 증명 코드가 없다는 내용을 말하도록 구성됩니다.

첫째, G의 증명이 있다고 가정합시다. 그 유한한 증명에는 실제 코드 m이 있습니다. 증명 관계를 수치별로 표현할 수 있으므로 체계 안에서 Prf(m̄,ḡ)를 얻습니다. 한편 증명된 G에서 ¬Prf(m̄,ḡ)도 얻어 모순이 생깁니다. 따라서 무모순성 아래 G는 증명되지 않습니다.

둘째, 이제 각 자연수 n은 G의 증명 코드가 아닙니다. 그 수치별 사실을 체계 안에서 표현해 ¬Prf(n̄,ḡ)를 각각 증명할 수 있습니다. 그런데 ¬G까지 증명하면 “어떤 n은 G의 증명 코드다”라는 존재문도 증명됩니다. 모든 수치 사례를 부정하면서 존재문을 증명하는 이 조합을 ω-무모순성 조건이 배제합니다.

1931년 원문의 두 번째 갈래에는 이 추가 조건이 들어갑니다. 이후 로서는 다른 문장 구성으로 단순 무모순성만을 사용하는 결과를 얻었습니다.

표준 자연수 해석과 체계 바깥의 메타수학을 사용하면 괴델 문장의 참을 말할 수 있습니다. 그러나 체계 P 안의 증명가능성과 바깥 해석에서의 참은 서로 다른 층입니다. 이 구분을 지우면 정리가 진리를 마법처럼 판정했다는 오해가 생깁니다.

또한 원문은 특정 형식체계와 조건 아래의 문장을 다룹니다. “인간은 모든 참을 직관으로 안다”거나 “수학은 믿을 수 없다”는 결론은 논문에서 따라오지 않습니다.

논문의 명제 XI는 체계 P가 무모순이라면 P의 무모순성을 자연스럽게 표현한 특정 산술 명제를 P 안에서 증명할 수 없음을 보입니다. 첫째 정리의 괴델 문장과 증명가능성 조건을 다시 분석한 결과입니다.

여기서 “자기 무모순성”은 P 안에 부호화한 구체적 문장입니다. 더 강한 체계가 P의 무모순성을 증명할 수는 있지만, 그 더 강한 체계에는 다시 자기 무모순성 문제가 생깁니다.

정리는 조건문입니다. 산술 표현력이 부족한 체계, 효과적으로 주어지지 않은 공리 집합, 모순된 체계에는 같은 결론을 그대로 붙일 수 없습니다. 반대로 조건을 만족하는 체계에 새 공리를 보태도 전체 문제가 끝나는 것은 아닙니다.

아래 실험은 정리의 적용 여부를 가르는 질문을 단순화한 편집부 모형입니다. 실제 정리 판정은 문법과 표현 가능성을 더 세밀하게 증명해야 합니다.

모든 수학 문제가 풀리지 않는다는 뜻이 아니며, 컴퓨터가 어떤 문제도 풀 수 없다는 뜻도 아닙니다. 또한 모순이 실제로 발견되었다는 결과가 아닙니다. 정리는 특정 조건을 만족하는 체계마다 증명과 반증이 모두 되지 않는 문장이 적어도 하나 생긴다는 구조적 한계를 말합니다.

괴델의 결과를 과학·정치·예술의 모든 한계를 설명하는 비유로 곧장 옮기면 원문의 논증과 멀어집니다. 적용하려면 해당 영역에 무엇이 형식체계, 공리, 증명, 산술화인지 먼저 대응시켜야 합니다.

충분히 강하고 효과적으로 주어진 일관된 산술 체계에는 그 체계 안에서 결정되지 않는 문장이 생깁니다. 괴델은 부호와 증명을 자연수로 코드화하고, 대입과 증명가능성을 체계 안에서 표현해 이 결론을 얻었습니다.

형식체계의 실패라기보다 형식화가 드러낸 정밀한 경계입니다. 체계는 수많은 증명을 가능하게 하며, 동시에 자기 증명 능력의 범위를 수학적 대상으로 보여 줍니다.