스택 의미론과 물질 구조 집합 이론의 비교

초록

이 논문은 (전)토포스의 내부 논리를 확장해 “스택 의미론”을 도입하고, 이를 통해 객체 전체에 대한 무한량화자를 허용한다. 스택 의미론 안에서 잘 정의된 순환 없는 관계를 이용해 물질적(멤버십 기반) 집합 이론을 재구성하며, 수집(colletion)과 대체(replacement) 공리뿐 아니라 전통적인 분리(separation) 공리까지도 토포스 수준에서 구현한다. 특히 분리 공리를 스택 의미론으로 표현하면 ZF와 동등한 강도를 갖는 새로운 토포스 공리 스키마가 등장하고, 이를 만족하는 토포스를 “자율적(autological)”이라 명명한다. 기존 Fourman‑Hayashi 모델과 대수적 집합 이론 모델을 특수 경우로 포함한다는 점이 핵심이다.

상세 분석

스택 의미론은 전통적인 토포스 내부 논리에서 허용되는 “바운드된” 양화자를 넘어, 토포스의 모든 객체 전체를 대상으로 하는 무제한 양화자를 정식화한다. 이를 위해 저자는 객체들의 동형사상군을 스택으로 보고, 그 스택 위에 논리식을 해석함으로써 전통적인 하위 객체(서브터미널) 수준을 초월한다. 핵심 기술은 스택 위에서 정의되는 순서 관계가 외부 메타이론에서 잘 정의된 ‘잘-기초화된 관계’를 모델링한다는 점이다. 이러한 관계를 이용하면 멤버십 기호 “∈”를 스택 의미론 안에 구현할 수 있어, 전통적인 물질 집합 이론의 핵심 구조를 토포스 내부에 재현한다.

특히 수집 공리와 대체 공리는 스택 의미론에서 자동으로 성립한다. 이는 스택 위의 양화자가 모든 객체를 포괄하므로, 임의의 함수나 관계에 대해 이미지가 존재함을 보장하는 메커니즘이 내재되어 있기 때문이다. 반면 분리 공리는 기존 토포스 논리에서는 제한된 양화자 때문에 약한 형태만 얻을 수 있었지만, 스택 의미론에서는 전역 양화자를 사용해 ZF 수준의 완전한 분리 공리를 도출한다. 저자는 이를 ‘자율적 토포스’라는 새로운 클래스의 정의로 승화시킨다.

또한 이 프레임워크는 Fourman‑Hayashi 모델을 일반화한다. Fourman‑Hayashi는 특정 프레임(예: 완전한 바이코시스) 위에 집합을 구성했으나, 스택 의미론은 임의의 토포스에 적용 가능하므로 그 범위가 크게 확장된다. 대수적 집합 이론(Algebraic Set Theory, AST)에서도 ‘소형 객체’와 ‘전달 가능한 사상’이라는 구조를 이용해 유사한 결과를 얻지만, 스택 의미론은 이러한 구조적 가정을 필요로 하지 않는다. 따라서 스택 의미론은 토포스 이론과 집합 이론 사이의 교량 역할을 하면서도, 두 기존 접근법의 장점을 모두 포괄한다는 점에서 혁신적이다.

마지막으로 저자는 ‘자율적 토포스’가 갖는 메타수리적 의미를 탐구한다. 이러한 토포스는 ZF와 동등한 증명력을 가지면서도, 내부적으로는 스택 의미론이라는 새로운 해석 체계를 통해 그 증명을 수행한다. 이는 토포스 이론이 전통적인 집합 이론을 완전히 대체하거나 내재화할 수 있음을 시사한다.