이델타₀의 유한 조각에 대한 헤르브란드 일관성 연구

초록

본 논문은 제한된 산술 이론 IΔ₀에 대해 헤르브란드 일관성(HCon)을 새롭게 정의하고, IΔ₀ 안에서 증명되지 않는 유한 조각 T와 IΔ₀‑도출 가능한 Π₁ 문장 U를 각각 구성한다. 이를 통해 IΔ₀가 자체의 헤르브란드 일관성을 증명하지 못함을 보이며, 기존 연구들을 일반화·강화한다.

상세 분석

논문은 먼저 전통적인 헤르브란드‑스코렐 정리를 바탕으로, 제한된 산술 체계 IΔ₀에 적합한 ‘평가(evaluation)’ 개념을 재정의한다. 기존 정의는 IΔ₀의 연산 제한 때문에 효과적인 구현이 어려웠으나, 저자는 전처리(pre‑evaluation)와 동치·순서 관계(≈ₚ, ≺ₚ)를 이용해 용어 집합 Λ 위에 전역적인 정렬과 동치 관계를 부여한다. 이때 ‘평가’는 전처리에서 정의된 동치가 대수적 동치(congruence)를 만족하도록 요구함으로써, 스코렐 함수와 상수에 대한 대입이 일관되게 유지된다.

다음으로, 이러한 평가를 이용해 헤르브란드 일관성(HCon)과 테이블루 일관성(TabCon)을 IΔ₀ 내에서 형식화한다. 핵심 정리는 “이론 T가 일관이면, 모든 유한 용어 집합에 대해 T‑평가가 존재한다”는 전형적인 헤르브란드‑스코렐 정리의 제한된 형태이다. 이를 바탕으로 저자는 두 가지 주요 결과를 증명한다. 첫째, IΔ₀의 유한 조각 T를 구성하여 IΔ₀ ⊬ HCon(T)임을 보인다. 여기서 T는 IΔ₀의 기본 연산과 몇 개의 추가 스키마(예: 제곱 함수의 전역 정의)를 포함하지만, 그 자체는 유한하므로 기존의 무한 체계와는 구별된다. 둘째, IΔ₀‑도출 가능한 Π₁ 문장 U를 선택해 IΔ₀ ⊬ HCon(U)임을 증명한다. U는 “모든 자연수 n에 대해 n·n이 정의된다”와 같은 형태의 산술적 사실을 내포하지만, 그 헤르브란드 일관성은 IΔ₀ 안에서 증명 불가능함을 보인다.

이 두 결과는 이전 연구(Adamowicz‑Zbierski, Salehi, Willard, Kolodziejczyk 등)의 특수한 경우를 일반화한다. 특히, 기존에 알려진 IΔ₀ + Ω₁ ⊬ HCon(IΔ₀ + Ω₁)와 같은 비가역성 결과를, Ω₀(제곱 함수 전역성) 없이도 성립시키는 점이 혁신적이다. 또한, 평가 정의에 Gödel 코드의 상한을 명시함으로써, 유한 용어 집합에 대한 평가를 실제 계산 가능하게 만든 점은 메타수학적 증명 기술을 한 단계 끌어올렸다.

결과적으로, 이 논문은 제한된 산술 체계 내에서 일관성 자체를 ‘증명 불가능’하게 만드는 메커니즘을 명확히 제시하고, 헤르브란드 일관성이라는 약화된 일관성 개념조차도 충분히 강력함을 보여준다. 이는 IΔ₀와 같은 약한 이론의 메타수학적 한계를 이해하는 데 중요한 이정표가 된다.