대각화와 고정점: 통합 스키마를 통한 새로운 증명들

초록

본 논문은 야노프스키가 제시한 대각화‑고정점 스키마를 확장하여, 유클리드의 소수 무한성 정리, 부울로스식 칸토어 정리, 라인얼 템포럴 논리에서의 야블로 역설 등 다양한 수학·논리 결과를 동일한 틀 안에서 증명한다. 또한 프리스트의 포함 스키마와 Ackermann‑유사 지배 함수 존재도 같은 방식으로 도출한다.

상세 분석

논문은 먼저 야노프스키(2003)가 제시한 “대각화 → 고정점 부재” 스키마를 집합·함수 수준에서 명시적으로 재정리한다. 핵심은 임의의 집합 D와 고정점이 없는 함수 α:D→D가 주어지면, 任意의 집합 B와 이항 함수 f:B×B→D에 대해 g(x)=α(f(x,x)) 로 정의된 함수 g는 어떤 b∈B에 대해서도 f(·,b)와 일치하지 않음으로, f가 전사적(또는 전사)임을 부정한다는 점이다. 이 구조는 전통적인 칸토어 대각선 논증을 함수‑고정점 관점으로 일반화한다.

이를 바탕으로 저자들은 여러 고전 정리를 동일한 도식에 맞춘다. 첫 번째 사례는 유클리드의 소수 무한성 정리이다. 여기서는 f(n,m)=1 iff n!+1의 모든 소인수가 m보다 작다는 조건으로 정의하고, α를 부정 함수(neg)로 잡는다. g(n)=neg f(n,n) 은 모든 n에 대해 1이 되므로, 만일 어떤 p가 모든 소수를 포함한다면 f(p,p)=neg f(p,p) 가 되어 neg의 고정점이 존재하게 되는데, 이는 모순이다. 따라서 소수는 무한히 존재한다는 결론을 얻는다.

다음으로 부울로스(1997)의 칸토어 정리 증명을 재구성한다. 여기서는 집합 A와 함수 h:P(A)→A를 대상으로, D_h={a∈A | ∃Y⊆A