새 기초

수리논리학에서 새 기초(영어: New Foundations, 약자 NF)는 공리적 집합론의 일종이다. 윌러드 반 오먼 콰인(Quine)이 《수학 원리》(Principia Mathematica)의 유형론을 단순화시킨 것에서 유래한다. 콰인은 1937년 "New Foundations for Mathematical Logic"에서 처음 NF를 선보였다. 1940년에, 그리고 1951년의 수정판에서, 콰인은 NF의 확장을 소개했고, 이는 집합은 물론 고유 모임도 포함한다.

NF의 중요 변형인 NFU는 로널드 젠슨(Ronald Jensen)이 1969년 도입한 것으로, 이는 원소는 될 수 있으나 집합은 아닌 대상, 즉 원초(urelement)의 존재를 허용한다. 이에 따라 NFU는 전체 집합을 포함하며, … xn ∈ xn-1 ∈ …x3 ∈ x2 ∈ x1 과 같은 원소관계의 무한 강하 사슬을 허용하는 비정초적 집합론(non-well-founded set theory)이다. NFU를 받아들일 시 페아노 산술과의 상대적 무모순성이 증명된다.

NF에서는 러셀의 유형론적 집합론(TST)과 같이 식들을 계층화(stratify)하여 x ∈ x와 같은 식이 원천적으로 불가능하게 되므로 러셀의 역설에 걸리지 않는다. 다만 기존 러셀 유형론과의 중대한 차이는 분류 공리꼴을 이용하여 유형을 간접적으로 나타냄으로써 유형의 개념을 별도로 도입하지 않도록 수정되었다는 점이다.

정의

단순 유형 집합론

(단순) 유형 집합론(영어: (simply) typed set theory, 약자 TST)은 자연수 종류를 갖는 다종류(영어: many-sorted) 1차 이론이며, 이항 관계 $\in$를 갖는다. $x\in y$가 논리식이려면 $y$의 유형이 $x$의 유형보다 1 커야 한다. 단순 유형 집합론의 공리계는 다음 두 공리 또는 공리 기본꼴로 구성된다.

• (확장 공리) $\forall x^{n+1}\forall y^{n+1}(\forall z^{n}(z^{n}\in x^{n+1}\iff z^{n}\in y^{n+1})\implies x^{n+1}=y^{n+1})$
• (분류 공리 기본꼴) $x_{1},x_{2},\dots ,x_{k},z^{n}$를 자유 변수로 갖는 논리식 $\phi$에 대하여, $\forall x_{1}\forall x_{2}\cdots \forall x_{k}\exists y^{n+1}\forall z^{n}(z^{n}\in y^{n+1}\iff \phi )$

새 기초

새 기초는 무종류(영어: unsorted) 1차 이론이며, 이항 관계 $\in$를 갖는다.

새 기초의 논리식 $\phi$에 대하여, 만약 다음 조건을 만족시키는 함수 $f\colon \operatorname {var} (\phi )\to \mathbb {N}$이 존재한다면 ($\operatorname {var} (\phi )$는 $\phi$에 등장하는 변수의 집합), $\phi$를 층화 논리식(영어: stratified formula)이라고 한다.

• $\phi$에 등장하는 각 변수 $x$를 유형이 $f(x)$인 변수로 여기면 단순 유형 집합론의 논리식을 얻는다. 즉, 만약 $x=y$가 $\phi$의 부분 논리식이라면 $f(x)=f(y)$이며, 만약 $x\in y$가 $\phi$의 부분 논리식이라면 $f(y)=f(x)+1$이다.

새 기초의 공리계는 다음과 같다.

• (확장 공리) $\forall x\forall y(\forall z(z\in x\iff z\in y)\implies x=y)$
• (층화 분류 공리 기본꼴, 영어: axiom schema of stratified comprehension) $x_{1},x_{2},\dots ,x_{n},z$를 자유 변수로 갖는 층화 논리식 $\phi$에 대하여, $\forall x_{1}\forall x_{2}\cdots \forall x_{n}\exists y\forall z(z\in y\iff \phi )$

근원소를 갖는 새 기초(영어: New Foundations with urelements, 약자 NFU)는 새 기초의 공리계에서 확장 공리를 공집합이 아닌 집합에만 적용시켜 얻는 집합론이다. 즉, 새 기초에서 근원소(영어: urelement)를 허용하여 얻는다.

참고 문헌

• Feferman, Solomon (2011). 〈Enriched Stratified Systems for the Foundations of Category Theory〉 (PDF). 《Foundational Theories of Classical and Constructive Mathematics》. The Western Ontario Series in Philosophy of Science (영어) 76. Dordrecht: Springer. doi:10.1007/978-94-007-0431-2_6. ISBN 978-94-007-0430-5. ISSN 1566-659X. MR 2867085. Zbl 1315.18001. 2021년 10월 20일에 원본 문서 (PDF)에서 보존된 문서. 

외부 링크

• Holmes, Melvin Randall. “Alternative Axiomatic Set Theories”. 《Stanford Encyclopedia of Philosophy》 (영어). 
• “Randall Holmes's Home Page” (영어). 2021년 10월 15일에 원본 문서에서 보존된 문서. 
  • “New Foundations home page” (영어). 2020년 10월 31일에 원본 문서에서 보존된 문서. 
  • “Bibliography of Set Theory with a Universal Set” (영어). 2021년 2월 10일에 원본 문서에서 보존된 문서. 
  • Holmes, Melvin Randall. “A new pass at the NF consistency proof” (PDF) (영어). 2021년 8월 31일에 원본 문서 (PDF)에서 보존된 문서. 
• “The status of 'the consistency of NF relative to ZF'”. 《MathOverflow》. 
• Smith, Peter (2022년 8월 23일). “NF is consistent”. 《Logic Matters》.