수학적 개념주의의 공리화와 3차 산술

초록

본 논문은 수학적 개념주의를 철학적 배경으로 삼아, 제3차 산술 언어에 기반한 형식 체계 CM을 제시한다. CM의 공리들을 통해 집합론적 전통을 대체하면서도 주류 수학을 재구성할 수 있음을 보인다.

상세 분석

논문은 먼저 수학적 개념주의가 “구축 가능한 개념”에만 의존하고, 무한히 큰 집합을 전제하지 않는 철학적 입장을 명시한다. 이를 위해 저자는 제3차 산술(ℕ, 실수, 함수, 관계 등을 3차 변수로 다루는 체계)을 선택하고, 그 위에 CM이라는 새로운 공리 체계를 정의한다. CM의 핵심 공리는(1) 자연수와 그 연산에 대한 1차 산술 공리, (2) 실수와 연속 함수에 대한 2차 변수 공리, (3) 집합의 집합을 다루는 3차 변수에 대한 제한된 전건 전제법칙이다. 특히 3차 변수에 대한 전건 전제는 “존재하는 모든 2차 객체에 대해 정의된 성질은 그 객체가 구체적으로 구성될 수 있을 때만 적용한다”는 제한을 두어, 전통적 무제한 선택 공리를 배제한다.

이러한 제한은 predicative mathematics와 일치하며, CM은 피아노와 같은 강력한 형식 체계인 ACA₀와 비교해 동일한 증명론적 강도를 가진다. 저자는 CM이 ACA₀와 보존적(conservative)임을 보이기 위해, CM 모델을 ω-모델로 구축하고, 각 CM 정리가 ACA₀ 내에서 해석될 수 있음을 증명한다. 또한, CM이 Π₁¹-보존성을 유지함을 보여, 고차 논리식에 대한 과도한 강화를 방지한다.

수학적 실용성 측면에서 논문은 실수 분석, 위상수학, 대수학의 기본 정리를 CM 안에서 재구성한다. 예를 들어, 실수 완비성은 2차 변수 공리를 통해 직접 증명되며, 바나흐-터스키 정리는 3차 변수의 제한된 선택 원리를 이용해 전개된다. 또한, 대수적 구조인 체와 군은 2차 변수에 대한 연산 규칙으로 정의되고, 그 위에 기본 정리(예: 기본정리, 라인얼 독립성 등)가 증명된다.

철학적 논의에서는 개념주의가 “구성 가능성”을 강조함으로써, 전통적 무한 집합 가정의 비판적 대안을 제공한다는 점을 강조한다. 저자는 CM이 수학적 실재론과 형식주의 사이의 중간 지대로, 실용적 수학을 유지하면서도 메타수학적 위험을 최소화한다고 주장한다. 마지막으로, CM이 현재의 형식 체계와 호환 가능함을 보이며, 향후 연구에서는 더 복잡한 카테고리 이론이나 동형 사상 이론을 CM에 통합하는 방안을 제시한다.