게델 1931년 미해결 문장 논쟁 재검토

초록

본 논문은 게델이 1931년에 제시한 미해결 문장에 관한 미공개 원고를 재분석한다. 특히 증명 가능성 술어의 부정 의미와 비순환성을 검토하고, 비증명 경우가 누락된 점을 지적한다. 저자는 자체 이전 연구를 활용해 모순 정의가 이미 포함되어 있음을 보이며, 대입 과정에서 유일성 위반이 발생함을 제시한다.

상세 분석

게델의 원고는 “모든 유한 공리 체계는 자연수 산술을 포함하면 불완전하다”는 명제를 증명하기 위해, 일변수 공식 ϕₙ(x)를 열거하고 그 Gödel 번호 n에 대해 K라는 집합을 정의한다. K의 정의는 n∈K ⇔ ¬Bew(ϕₙ(n))이며, 여기서 Bew는 “x가 증명 가능한 공식”이라는 의미의 원시 재귀 술어이다. 논문은 첫 번째 핵심 문제로 ¬Bew(x)의 의미를 ‘증명 불가능’으로 단순 해석하면, ϕₖ(k) ⇒ ¬ϕₖ(k)라는 직접적인 모순을 얻어 순환 논증에 빠진다고 지적한다. 그러나 저자는 ¬Bew(x)를 ‘x가 증명 가능한 공식의 Gödel 번호가 아니다’라는 메타수학적 의미로 재해석한다. 이 해석에 따르면 ¬Bew(ϕₙ(n))은 실제로 “ϕₙ(n)의 Gödel 번호가 증명 가능한 공식의 번호와 일치하지 않는다”는 산술적 사실을 기술한다.

이때 저자는 기존 Gödel 체계에 새로운 원시 재귀 술어 xW y (증명 반증 관계)와 Wid(x) (반증 가능성) 를 도입한다. xW y는 x가 y의 부정 증명을 나타내며, Wid(x)는 ∃z zW x, 즉 x가 반증 가능한 공식임을 의미한다. 이 두 술어는 기존 Bew와 마찬가지로 원시 재귀이므로 결정 가능하다. 논문은 네 개의 보조 정리를 통해 (i) 증명 번호와 반증 번호는 동시에 존재할 수 없으며, (ii) 증명 가능성의 부정은 반증 가능성으로 전환될 수 있음을 보인다.

특히 K의 정의를 연쇄적으로 변형하면
n∈K ⇔ ¬Bew(ϕₙ(n)) ⇔ ¬∃y yB ϕₙ(n) ⇔ ∀y ¬yB ϕₙ(n) ⇔ mW ϕₙ(n) ⇔ Wid ϕₙ(n) ⇔ ⊢ ¬ϕₙ(n)
이라는 일련의 동등성이 도출된다. 여기서 m은 ‘모든 y에 대해 yB ϕₙ(n) 가 거짓이다’라는 전칭 명제이며, 마지막 단계는 Wid ϕₙ(n) 로부터 ϕₙ(n)의 부정이 증명된다는 결론을 끌어낸다. 따라서 원래의 (5) 단계에서 k=n을 대입해 ϕₖ(k) ⇒ ¬ϕₖ(k) 를 얻는 것이 아니라, 실제로는 ⊢ ¬ϕₖ(k) 가 도출되는 것이며, 이는 모순이 아니라 ‘ϕₖ(k) 가 증명 불가능함’을 명시적으로 표현한 것이다.

또한 논문은 대입 과정에서 발생하는 유일성 위반을 지적한다. 산술 체계는 x=y ⇒ (φ(x) ⇔ φ(y)) 를 만족해야 하지만, ϕₖ(n) ⇔ ¬ϕₙ(n) 은 k=n 일 때 자명히 위배된다. 따라서 k=n 을 가정하고 (5) 로부터 ϕₖ(k) 를 도출하는 것은 논리적으로 부적절하며, 게델 원고의 핵심 논증이 이 점에서 의미를 상실한다는 결론에 이른다.

요약하면, 저자는 (1) ¬Bew의 메타수학적 해석, (2) 증명·반증 관계를 원시 재귀적으로 확장, (3) K 집합 정의의 연쇄적 변환, (4) 대입에 내재된 유일성 위반을 통해 게델 1931년 논증의 몇몇 숨겨진 가정을 드러내고, 기존 해석이 간과한 비증명 경우를 체계적으로 보완한다. 이러한 분석은 게델의 불완전성 정리가 단순히 ‘자기언급적 모순’에 의존하지 않으며, 보다 정교한 메타수학적 구조 위에 놓여 있음을 시사한다.