양의 조합 및 지수 대수의 유한 모델과 비가산 공리화

초록

**
본 논문은 고환, 고색 하이퍼그래프를 이용해 비음이 아닌 정수 반반체의 방정식 이론이 유한 모델을 가짐에도 불구하고 유한한 공리화가 불가능함을 보이며, 팩토리얼·고정밑 지수·이항계수를 추가한 확장에서도 동일한 현상이 나타남을 증명한다. 또한, 이러한 모델들에 대해 유한 모델 성질을 활용해 자연수 위에서 참인 전제들의 방정식 논리적 추론 연산 ⊢ 의 결정 가능성을 얻는다. 부록에서는 조합 함수들의 우위 우선순위와 ε₀ 순서표현, 실수와 자연수 사이의 동등성, 그리고 후보 공리 목록을 제시한다.

**

상세 분석

**
논문은 먼저 고환(girth)과 고색(chromatic number)이 동시에 크게 되는 하이퍼그래프의 존재를 이용해, 반반체 ⟨ℕ₀,+,·⟩의 방정식 이론을 만족하는 유한 대수 구조 A를 구성한다. 이 구조는 모든 ℕ₀‑정규 방정식을 만족하지만, 그 방정식 이론이 유한한 공리 집합으로 귀결되지 못한다는 점에서 기존의 유한 기반 문제(Finite Basis Problem)와 직접 연결된다. 특히, 저자는 기존에 알려진 S₇·S₁₇·S₀₇와 같은 작은 반반체 예시를 일반화하여, 연산 집합 τ가 {+,·}⊆τ⊆{+,·,↑,©,exp₂,!,0,1} 를 만족할 때마다 5원소 대수 Bτ가 존재함을 보인다. Bτ는 ℕ₀ 위의 모든 진정한 방정식을 그대로 만족하지만, 그 방정식 이론은 어떠한 유한 공리계로도 완전하게 기술될 수 없으며, 이는 고전적인 고등학교 지수 대수 문제(High School Algebra Problem)의 부정적 해답을 확장한 결과이다.

다음으로 논문은 방정식 논리적 추론 연산 ⊢ 의 결정 가능성을 다룬다. Lemma 2.1에서 제시된 재귀적 함수 B(t₁,t₂)는 두 항 t₁, t₂ 사이의 비동등성을 반증할 수 있는 최소 유한 모델의 크기를 상한한다. 이 상한은 항들의 가중치 함수 w와 연산별 가중치 증가 규칙을 통해 명시적으로 계산되며, 결과적으로 Σ⊢t₁≈t₂ 인지를 확인하려면 크기 ≤B(t₁,t₂) 인 모든 유한 모델을 열거하고 검증하면 된다. 따라서 Σ가 ℕ 위에서 참인 유한 전제 집합이라면, ⊢ 의 결정 문제가 유한 모델 성질에 의해 해결된다.

부록 A에서는 조합 함수들의 ‘궁극적 우위 우선순위’(eventual dominance) 관계가 잘 정렬임을 증명하고, 이를 이용해 팩토리얼 함수만으로 ε₀ 순서를 재현한다는 흥미로운 결과를 제시한다. 부록 B에서는 +,·,©,!,exp₂,0,1 로 이루어진 서명에 대해 ‘고등학교 수준’의 직관적인 법칙들을 모아 후보 공리 집합을 제시한다. 특히, © 연산을 이항 이항계수 연산으로 정의하고, ! 를 팩토리얼, exp₂ 를 2배 지수함수로 해석함으로써 실수 체계와 자연수 체계 사이의 방정식 이론이 동등함을 보인다(ℝ⁺와 ℕ₀ 사이의 동형성).

전체적으로 이 논문은 조합론적 그래프 이론, 대수적 모델 이론, 그리고 계산 복잡도 이론을 교차시켜, 전통적인 고등학교 대수 법칙이 충분하지 않다는 사실을 새로운 유한 모델 관점에서 재조명한다. 특히, ‘유한 모델이 존재하지만 비가산 공리화가 불가능한’ 현상을 다양한 연산 확장에 대해 일반화함으로써, 방정식 이론의 구조적 복잡성을 심도 있게 탐구한다.

**