무한 집합은 모두 가산이다

초록

이 논문은 칸토어와 괴델의 전통적 결과를 부정하고, 실수 집합과 자연수의 멱집합이 가산이라고 주장한다. 저자는 대각선 논증과 귀류법의 사용에 논리적 오류가 있다고 주장하며, 새로운 구성적 증명을 제시해 무한 집합 모두가 가산이라는 “연속체 정리”를 제시한다. 또한 이러한 결과가 힐베르트 프로그램을 회복하고, 수학적 불완전성을 없앨 수 있다고 주장한다.

상세 분석

논문은 크게 네 부분으로 구성된다. 첫째, 칸토어의 귀류법 사용에 대한 비판이다. 저자는 귀류증명의 단계에서 “외부 모순”과 “내부 모순”을 구분하고, 대각선 논증이 자기모순을 야기한다는 주장을 전개한다. 그러나 이 구분은 기존 수리논리학에서 인정되는 귀류법의 정의와 일치하지 않는다. 귀류법은 가정 ¬P가 모순을 초래하면 P가 참이라는 전통적 구조를 따르며, “내부 모순”이라 부르는 형태는 이미 모순 자체를 포함하고 있어 별도의 논리적 오류를 제시하지 못한다.

둘째, 실수 집합 R과 멱집합 P(N)의 가산성을 증명하려는 세 가지 구성적 증명이다. 논문은 무한 이진열을 순서대로 나열하고, 각 열을 자연수에 대응시킨다고 주장한다. 하지만 이 과정에서 실제로는 모든 실수를 포괄하는 일대일 대응을 정의하지 못하고, 선택공리 없이 무한히 많은 경우를 일괄 처리하려는 시도가 보인다. 특히, 실수의 비가산성 증명인 칸토어의 대각선 논증을 “각 자리수의 교체가 새로운 실수를 만든다”는 전제에 반증을 제시하지만, 교체된 수열이 실제로는 기존 실수와 동일한 실수를 생성할 가능성을 무시한다.

셋째, “가능한 모든 무한 집합은 가산이다”는 결론을 도출하기 위해 제시된 ‘연속체 정리’는 기존의 연속체 가설(CH)과는 전혀 다른 의미 체계에 기반한다. 저자는 CH를 “ℵ₀와 ℵ₁ 사이에 다른 기수 존재 불가”로 해석하고, 이를 부정한다. 그러나 논문은 ZF·AC 체계 내에서의 독립성 결과를 무시하고, 새로운 공리 체계(‘가산성 공리’)를 암묵적으로 도입한다. 이는 기존 수학 공동체가 받아들인 일관성 보장을 위협한다.

넷째, 괴델의 불완전성 정리를 부정하고, 첫 번째 차수 산술이 완전하고 자체 일관성을 증명할 수 있다고 주장한다. 여기서는 P(N)의 가산성을 전제로 “모든 명제에 대한 진리값을 열거할 수 있다”는 논리를 전개한다. 그러나 괴델의 정리는 형식 체계가 충분히 강력할 때(예: 피아노 수학) 자체 일관성을 증명할 수 없음을 보이며, 이는 메타수학적 관점에서 증명 가능성 자체가 제한된다는 점을 간과한다. 논문의 주장은 ‘구성적 증명’이라 칭하지만, 실제로는 메타레벨에서의 무한 열거를 전제로 하여 순환 논증에 빠진다.

전반적으로 이 논문은 기존 수학적 증명의 엄밀성을 무시하고, 직관에 의존한 비공식적 논증을 제시한다. 대각선 논증의 오류를 주장하면서도 동일한 형태의 자기참조적 구조를 사용하고, 선택공리와 같은 필수적인 공리를 회피한다. 따라서 현재 수학 공동체가 받아들인 ZFC 체계와는 근본적으로 충돌하며, 제시된 ‘새로운’ 증명들은 검증 가능한 형식 체계 내에서 재현되지 않는다.