집합론은 정말 필요할까

초록

**
이 논문은 수학의 기초로서 ZFC가 필수적이라는 전통적 입장을 비판한다. 증명 이론가들이 발견한 바와 같이 대부분의 주류 수학은 훨씬 약한 수론적 체계로도 형식화될 수 있다. 저자는 (1) 이러한 약한 체계가 실제 수학적 작업에 더 적합함을, (2) 예측 가능한 몇 안 되는 ‘집합론적’ 정리들의 증명이 실제로는 강한 집합론 가정을 필요로 하지 않음을, (3) 집합론 자체가 형식주의적 실천에 기반한다는 점을 들어 ZFC의 ‘불가피성’ 주장을 무너뜨린다. 또한 ZFC가 일관성은 있더라도 수론적 명제를 잘못 증명할 가능성을 제시하며, 집합론이 수학의 중심이 되어서는 안 된다고 주장한다.

**

상세 분석

**
논문은 크게 세 부분으로 전개된다. 첫 번째 부분에서는 현대 수학의 대부분이 실제로는 ‘수론적’ 체계, 예컨대 페아노 산술(PA)이나 그보다 약한 시스템(예: RCA₀, ACA₀ 등) 안에서 전개될 수 있음을 강조한다. 이러한 시스템들은 전통적인 ZFC보다 증명 강도가 낮지만, 실용적인 수학—특히 물리학·공학 등 과학 이론에 적용되는 부분—을 충분히 포괄한다. 저자는 이러한 약한 체계가 정의적·구조적으로 더 명료하고, 불필요한 존재론적 가정을 배제함으로써 형식화 과정에서 발생할 수 있는 ‘불필요한 복잡성’을 줄인다고 주장한다.

두 번째 부분에서는 ‘예측 가능한 집합론적 정리’가 실제로는 예측 가능성(predicativity) 범위 안에 들어온다는 최신 증명 이론 결과를 인용한다. 예를 들어, 연속체 가설(CH)이나 측정 가능한 기수의 존재와 같은 문제들은 전통적으로 강한 선택 공리나 대형 무한을 필요로 한다고 여겨졌지만, 최근 연구는 이러한 정리들의 대부분이 ‘예측 가능한’ 수준, 즉 ε₀ 이하의 증명 강도 내에서 증명될 수 있음을 보여준다. 따라서 기존에 ‘ZFC 없이는 증명할 수 없는’이라고 여겨졌던 사례들이 실제로는 약한 체계에서도 충분히 다루어질 수 있음을 입증한다.

세 번째 부분은 집합론 자체의 철학적 위치를 재검토한다. 저자는 현재 집합론자들이 실천하는 방식이 주로 형식주의(formalism)이며, 이는 ‘집합이 실제 존재한다’는 플라톤적 전제와는 무관하다고 본다. 집합론 연구는 주로 ZFC와 그 변형을 이용한 증명 작업이며, 이러한 작업은 그 자체로 일종의 형식적 놀이에 가깝다. 따라서 ‘집합론이 수학의 근본이자 필수적 기반’이라는 주장보다, ‘집합론은 특정 형식적 목적을 위한 도구’라는 시각이 더 타당하다.

마지막으로 저자는 ZFC가 일관성을 유지한다 하더라도, ZFC 안에서 증명되는 일부 수론적 명제가 실제 수학적 진리와 어긋날 가능성을 제시한다. 이는 Gödel의 불완전성 정리와 연관된 논리적 한계이며, ‘ZFC가 절대적 진리’를 제공한다는 플라톤주의적 믿음에 대한 추가적인 회의론을 제공한다. 전체적으로 논문은 ‘수학이 과학에 필수적’이라는 전제 하에 ZFC를 옹호하는 Quine‑Putnam 논증을 무력화하고, 약한 체계와 형식주의적 실천이 충분히 ‘필수적’이라는 새로운 관점을 제시한다.

**