유한 비고전 이론 T와 ZF의 상대적 일관성 증명

초록

본 논문은 기존 ZF가 무한한 공리계와 가산 모델을 허용한다는 ‘병리적’ 특성을 없애기 위해 제안된 비고전 1차 논리 이론 T가 ZF와 상대적으로 일관함을 보이며, 이를 통해 T가 ZF보다 강력하면서도 유한히 공리화될 수 있음을 주장한다.

상세 분석

논문은 먼저 ZF가 무한 공리 스키마와 로웬하임‑스콤엘 정리로 인해 가산 모델을 가질 수 있다는 점을 ‘병리적’이라고 비판한다. 이를 극복하기 위해 저자들은 집합과 함수가 동시에 존재하는 범주적 구조를 기본 언어로 삼고, 함수는 두 집합의 ‘연결(concatenation)’이라는 새로운 형식으로 정의한다. 이때 함수 자체는 집합이 아니며, ‘ur‑function’이라는 단일 원소와 단일 상을 갖는 특수 함수가 기본 단위가 된다.

T의 핵심은 20개의 표준 1차 공리와 하나의 비표준 공리인 ‘합함수 공리(SUM‑F)’이다. SUM‑F는 임의의(가능하면 무한한) 비공집합 X와 그 원소마다 지정된 ur‑function f{ξ}에 대해, X를 전사함수 F_X가 매핑하여 그 이미지 집합 Y를 생성한다는 내용을 담는다. 형식적으로는 다중 전량자(∀ f{ξ}) ξ∈X와 결합 연산자(^ ξ∈X) … 를 사용해 무한히 많은 표준 전량자를 압축한다.

이러한 비표준 구문을 해석하기 위해 저자들은 여섯 가지 비표준 추론 규칙(R‑1∼R‑6)을 제시한다. 예를 들어 R‑1은 비표준 전량자를 상수 치환으로 제거하고, R‑2·R‑6은 다중 전량자와 결합 연산자를 표준 형태로 변환한다. 그러나 논문은 이 규칙들의 메타논리적 정당성, 특히 보존성(soundness)과 완전성(completeness)에 대한 증명을 전혀 제공하지 않는다.

상대적 일관성 증명 자체는 ZF 안에서 T의 모델을 ‘구성’한다는 전형적인 방법을 따르는 듯 보인다. 저자는 ZF의 기존 집합을 이용해 함수와 연결을 정의하고, SUM‑F를 만족시키는 ‘합함수’를 정의함으로써 T의 모든 공리를 만족하는 구조를 만든다. 하지만 구체적인 모델 구축 과정—예를 들어 어떤 클래스가 함수의 집합을 형성하고, 비표준 전량자를 어떻게 해석하는가—가 상세히 기술되지 않아, 실제로 ZF가 T의 모든 비표준 규칙을 지원하는지 의문이 남는다.

또한, 논문은 T가 ZF보다 ‘강하다’는 주장을 ‘공리 수가 적다’는 비유와 ‘가산 모델이 없다는 점’으로만 설득한다. 논리적 강도는 증명 가능한 정리의 집합으로 측정되어야 하며, 비표준 규칙이 기존 ZF 증명 체계에 어떤 새로운 정리를 제공하는지 구체적인 예시가 부족하다.

결론적으로, 논문은 흥미로운 아이디어—집합·함수 범주와 합함수 공리를 통한 유한 공리화—를 제시하지만, 비표준 언어와 추론 규칙의 형식적 정의, 메타이론적 검증, 그리고 ZF 내에서의 구체적 모델 구축에 대한 상세한 증명이 결여되어 있다. 따라서 T가 실제로 ZF와 상대적으로 일관하고, ZF보다 강력하다는 주장은 현재 단계에서는 충분히 설득되지 않는다.