칸토어 집합론에 대한 반증

초록

이 논문은 이진 소수점 표기법으로 구성된 가산 리스트에 대해 대각선 논법을 적용하면 리스트에 존재하는 수가 생성된다는 사례를 제시하고, 이를 근거로 실수 집합 ℝ과 가산표현 가능한 수 집합 𝕎가 동형이 아니므로 칸토어의 비가산성 증명이 잘못되었다고 주장한다. 또한 무한 집합과 그 멱집합의 기수 차이에 대한 기존 정리를 부정하고, 새로운 모델 이론을 도입해 무한 집합도 잘 정렬될 수 있음을 보인다.

상세 분석

논문은 먼저 “쓰기 가능한 수” 𝕎를 정의하고, 𝕎가 유리수 ℚ의 부분집합이며 실수 ℝ의 전부가 아니라는 점을 강조한다. 이 점은 사실이며, 유한 자리수만으로 표현 가능한 수는 실제로 ℚ에 한정된다. 그러나 저자는 𝕎와 ℝ이 동형이 아니므로 칸토어의 대각선 논법이 ℝ에 적용될 수 없다고 주장한다. 여기에는 두 가지 근본적인 오류가 있다. 첫째, 대각선 논법은 어떤 “표현 방식”에 국한되지 않는다. 리스트에 실수를 적을 때는 각 실수를 무한 소수열(또는 그에 상응하는 코딩)으로 나타내면 충분히 정의될 수 있다. 즉, 리스트가 무한 문자열을 허용한다면 𝕎와 동형이 아니더라도 ℝ 전체를 대상으로 할 수 있다. 둘째, 저자는 “부분 문자열이 리스트에 존재한다면 대각선 수가 리스트에 포함된다”는 사례를 일반화한다. 실제로 제시된 표는 특정한 순서와 제한된 자리수(예: 0‑끝과 1‑끝)에서만 성립하며, 무한히 진행되는 대각선 과정에서는 항상 새로운 무한 문자열을 만든다. 이는 전통적인 증명과 일치한다.

다음으로 저자는 𝕎가 가산이므로 ℝ도 가산이라고 결론짓는다. 하지만 𝕎는 ℝ의 조밀한 부분집합일 뿐이며, ℝ의 비가산성을 증명하는 핵심은 𝕎가 아닌 “모든 실수의 무한 소수열 집합”이다. 이 집합은 2^{ℵ₀}개의 원소를 가지며, 가산 집합과 전단사 관계를 가질 수 없다는 것이 표준 증명이다.

칸토어 정리(집합과 그 멱집합의 기수 차이)에 대한 반증 역시 잘못된 논리 전개를 보인다. 저자는 ℕ과 ℘(ℕ) 사이에 전단사 함수를 구성한다고 주장하지만, 실제로는 ℘(ℕ)의 원소를 0‑1 무한열로 식별할 때 각 열은 서로 다른 집합을 나타내며, 이는 ℕ의 원소와 일대일 대응이 불가능함을 의미한다. 제시된 “반례”는 무한열을 유한 문자열로 강제 변환하는 과정에서 정보 손실이 발생해 본질적인 차이를 없애버린다.

마지막으로 저자는 “모델”이라는 개념을 도입해 무한 집합이 적절한 모델을 갖는다면 잘 정렬될 수 있다고 주장한다. 여기서 말하는 모델은 단순히 집합을 특정 코딩으로 표현한 것에 불과하며, 이는 선택공리와 같은 기본적인 집합론 공리를 회피하는 것이 아니다. 실제로 잘 정렬 가능성은 선택공리와 동등한 강도를 가지며, 이를 새로운 모델 이론으로 대체한다는 주장은 기존 수학적 프레임을 재정의하는 수준의 변화를 요구한다.

요약하면, 논문은 기존 증명의 형식적 세부사항을 지적하면서도 근본적인 논리와 정의를 오해하고 있다. 대각선 논법의 적용 범위, 실수와 가산표현 사이의 관계, 그리고 멱집합 정리의 본질을 정확히 이해하지 못한 채 새로운 “반증”을 제시하고 있다. 따라서 이 논문이 제시하는 결론은 현재 수학계에서 받아들여지는 집합론 체계와는 상충한다.