체르멜로-프렝켈 집합론

수학에서, **선택 공리를 추가한 체르멜로-프렝켈 집합론**(選擇公理를追加한Zermelo-Fraenkel集合論, Zermelo–Fraenkel set theory with the axiom of choice, 약자 ZFC)은 공리적 집합론의 하나이다. 현대 수학의 표준적인 수학기초론으로 사용된다.
# 정의
**선택 공리를 추가한 체르멜로-프렝켈 집합론**은 1차 논리를 기반으로 하는 1차 집합론이며, 등호 밖에 하나의 이항 관계 \in만을 가진다. 논의 영역은 **집합**들이다 (집합은 공리를 통해 묘사되기만 할 뿐 직접적으로 정의되지는 않는다). 이항 관계 a\in b는 "a가 b의 **원소**"라고 읽는다. :\forall x\in y\colon\phi :\exists x\in y\colon\phi 는 각각 :\forall x\colon x\in y\implies\phi :\exists x\colon x\in y\land\phi 를 줄여 쓴 것이다. 선택 공리를 추가한 체르멜로-프렝켈 집합론의 공리계는 다음과 같은 공리 7개 및 공리꼴 2개로 정의된다. 이들은 통상적인 1차 술어 논리 공리들에 추가로 가정한 것이다. **체르멜로-프렝켈 공리계**(ZF)는 ZFC에서 선택 공리를 제외한 것이며, **체르멜로 공리계**(Z)는 ZFC에서 선택 · 정칙성 · 치환 공리(꼴)를 제외한 것이다.
## 집합의 기본 성질
확장공리와 정칙성 공리는 ZFC에서 쓰이는, 집합의 기본적인 성질들을 나타낸다. 즉, 집합은 순서 및 다른 추가 성질을 갖지 않는 구조이며 (확장성), 스스로를 포함하거나 기타 재귀적인 포함 관계를 가지지 못한다 (정칙성).

1. **확장 공리**(axiom of extensionality) 혹은 **외연 공리**: 포함하는 원소가 전부 같은 두 집합은 서로 동일하다. 즉, 이는 사실상 집합의 동일함이 무엇인지를 정의한다. 확장 공리의 역은 서로 같은 집합이 포함하는 원소가 같다는 명제이며, 이는 이미 1차 논리의 공리이다. :\forall x\forall y\colon(\forall z\colon z\in x\iff z\in y)\implies x=y
2. **정칙성 공리**(axiom of regularity) 혹은 **기초 공리**(axiom of foundation): 공집합이 아닌 모든 집합은 자신과 서로소인 원소를 포함한다. 이에 따라, 스스로를 원소로 포함하는 집합이나, 스스로를 원소의 원소로 포함하는 집합 등은 존재할 수 없다. 사실, 정칙성 공리를 가정하면 이는 모든 모임 위에서도 성립하게 된다 (정초 관계#정초 모임 참고). :\forall x\colon(\exists y\colon y\in x)\implies(\exists y\in x\lnot\exists z\colon z\in x\land z\in y)

## 집합의 구성
분류·치환 공리꼴과 짝·합집합·멱집합 공리들은 주어진 집합으로부터 새로운 집합을 구성하는 방법들을 정의한다. 즉, 이미 구성된 집합들로부터, 이들의 순서쌍·합집합·멱집합을 정의할 수 있으며, 또한 이미 구성된 집합에 주어진 성질을 만족시키는 부분집합을 취하거나 (분류 공리꼴), 함수에 대한 상을 취할 수 있다 (치환 공리꼴).
1. **분류 공리꼴**(axiom schema of specification): z가 집합이고 \phi가 그 원소들이 만족할 수 있는 성질일 때, 이를 만족하는 것들로 이루어진 z의 부분 집합이 존재한다. 여기에서 원소의 범위를 집합 z로 제한하는 것은 러셀의 역설 등 역설을 피하기 위함이다. 1차 논리에서는 성질에 한정 기호를 가할 수 없으므로, 이는 낱개의 공리로 나타낼 수 없으며, 각 성질들에 대응하는 "무한 개"의 공리들로 구성된다. x,w_1,\ldots,w_n 또는 x,z,w_1,\ldots,w_n을 자유 변수로 가지는 (특히 y를 자유 변수로 갖지 않는) 논리식 \phi에 대하여, :\forall z\forall w_1\cdots\forall w_n\exists y\forall x\colon x\in y\iff x\in z\land\phi
2. **치환 공리꼴**(axiom schema of replacement): 집합을 정의역으로 갖는, 형식적으로 정의된 함수가 있을 때, 그 치역을 포함하는 집합이 존재한다. 보다 엄밀하게 서술하면, x,y,w_1,\ldots,w_n 또는 x,y,A,w_1,\ldots,w_n을 자유변수로 가지는 (특히 B를 자유 변수로 갖지 않는) 논리식 \phi에 대하여, :\forall A\forall w_1\cdots\forall w_n\colon(\forall x\in A\exists!y\colon\phi)\implies(\exists B\forall x\in A\exists y\in B\colon\phi) 여기에서 한정 기호 \exists!y\colon\psi는 \exists y\colon\psi\land(\forall y'\colon\psi[y'/y]\implies y=y')을 줄여 쓴 것이다. 즉, 성질 \psi를 만족하는 y가 유일하게 존재함을 말한다.
3. **짝 공리**(axiom of pairing): 임의의 두 집합에 대해, 둘 모두를 원소로서 포함하는 집합이 존재한다. :\forall x\forall y\exists z\colon x\in z\land y\in z
4. **합집합 공리**(axiom of union): 임의의 집합에 대해, 거기에 포함되는 원소들에 포함되는 원소들을 전부 포함하는 집합이 존재한다. :\forall\mathcal F\exists A\forall Y\forall x\colon x\in Y\land Y\in\mathcal F\implies x\in A
5. **멱집합 공리**: 임의의 집합 x에 대해, x의 모든 부분집합을 원소로 갖는 집합 y가 존재한다. :\forall x\exists y\forall z\colon z\subseteq x\implies z\in y 여기에서 z \subseteq x는 \forall q \in z\colon q \in x를 줄여 쓴 것이다.

## 무한 공리와 선택 공리
무한 공리와 선택 공리는 ZFC 공리계에서 비교적 더 논란이 되는 공리들이다. 무한 공리는 가산 무한 집합의 존재를 가정하며, 여기에 멱집합을 취하여 더 큰 무한 기수와 순서수들을 정의할 수 있다. 선택 공리에 따르면, 무한한 수의 집합들에서 각각 하나의 원소를 무작위로 고를 수 있는데, 이 때 고르는 방법은 명시되지 않으며, 일부 경우 명시할 수 없음을 보일 수 있다.
1. **무한 공리**: 공집합을 원소로 가지며, 만약 y를 원소로 가진다면 언제나 S(y)도 원소로 가지는 집합 X가 존재한다. :\exists X\colon\varnothing\in X\land(\forall y\in X\colon S(y)\in X) 여기서 S(x) = x \cup \\{x\\}이며, 공리 1부터 6까지를 이용해 임의의 집합 x에 대해 S(x)가 유일하게 존재함을 증명할 수 있다. \varnothing은 공집합으로, 위의 공리들을 이용해 만약 집합이 하나라도 존재한다면 공집합이 유일하게 존재함을 증명할 수 있다. 정칙성 공리에 따라 항상 S(x)\ne x이므로, 이는 :X\supseteq\left\\{\varnothing,S(\varnothing),S(S(\varnothing)),\dots\right\\} 를 의미한다. 이들은 각각 자연수로 정의할 수 있다. :\varnothing=0 :S(x)=x+1 그렇다면, 이 공리는 자연수의 집합 \mathbb N의 존재를 의미한다. (만약 자연수를 다른 방법으로 정의하고 싶으면, 치환 공리꼴을 사용하여 이를 다른 정의로 번역할 수 있다.)
2. **선택 공리**: 공집합이 아닌 집합들의 집합 X가 주어졌을 때, X의 각 원소로부터 하나씩의 원소를 고르는 함수 f가 존재한다. 즉, 모든 A\in X에 대하여, f는 A의 원소 f(A)\in A를 골라낸다. :\forall X\colon\varnothing\not\in X\implies\left(\exists f\colon X\to\bigcup X\forall A\in X\colon f(A)\in A\right) 여기서 \bigcup X=\bigcup_{A\in X}A는 X의 모든 원소들의 합집합이며, 합집합 공리에 따라 존재한다.

# 성질
ZFC의 논의 영역은 집합만을 포함하며, 고유 모임을 포함하지 않는다. 모임을 직접적으로 다루려면 폰 노이만-베르나이스-괴델 집합론이나 모스-켈리 집합론을 사용하여야 한다. ZFC의 모든 집합은 집합으로 구성되어 있으며, 원자(atom, urelement)를 갖지 않는다. 또한, ZFC의 집합은 정칙적이다. 즉, 정칙성 공리에 의하여 :A=\\{A\\}=\\{\\{A\\}\\}=\cdots 또는 :B=\\{C\\}=\\{\\{B\\}\\}=\\{\\{\\{C\\}\\}\\}=\cdots 와 같은, 무한히 재귀적인 집합이 존재할 수 없다. 체르멜로-프렝켈 집합론의 일부 공리들은 서로 독립적이지 않다. 예를 들어, 나머지 공리들로부터 짝 공리를 유도할 수 있다. 증명 멱집합 공리에 따라, 집합 \mathcal P(\mathcal P(\varnothing))=\\{\varnothing,\mathcal P(\varnothing)\\}이 존재한다. 임의의 집합 a,b가 주어졌을 때, 다음과 같은 논리식 \phi를 생각하자. :(x=\varnothing\land y=a)\lor(x=\mathcal P(\varnothing)\land y=b) (이는 집합론의 언어 이외의 기호를 사용하지만, 집합론의 언어의 기호만을 사용하도록 번역할 수 있다.) \phi는 x,y를 자유 변수로 가지며, \mathcal P(\mathcal P(\varnothing))의 원소에 대하여 유일한 집합을 대응시킨다. 치환 공리꼴에 따라, \varnothing와 \mathcal P(\varnothing)의 상을 원소로 포함하는 집합이 존재한다. \varnothing의 상은 a이며, \mathcal P(\varnothing)의 상은 b이다. 증명 끝
## 상대적 무모순성

### ZF(C)와 같은 무모순성을 갖는 이론
다음 이론들은 서로 등무모순적이다.url-status=dead * \mathsf{ZF}^-. 이는 \mathsf{ZF}에서 정칙성 공리를 생략한 공리계이다.Corollary IV.4.4; 162, Corollary V.2.14 * \mathsf{ZF}Corollary IV.4.4; 162, Corollary V.2.14 * \mathsf{ZFC} * \mathsf{ZFC} \+ 도달 불가능한 기수가 존재하지 않는다.148, Exercise IV.19 * \mathsf{ZFC} \+ 일반화 연속체 가설175, Corollary VI.4.9 * \mathsf{ZFC} \+ 일반화 연속체 가설 + 도달 불가능한 기수가 존재하지 않는다.177, Corollary VI.4.13 * \mathsf{ZFC}+V=L170, Corollary VI.3.4 * \mathsf{ZFC}+V=\operatorname{HOD}172, Corollary VI.3.11 * \mathsf{ZFC}+V\ne L+\mathsf{GCH}211, VII.5.17 * \mathsf{ZFC}+2^{\aleph_0}=\aleph_2209, Corollary VII.5.15 * \mathsf{ZF}+\lnot\mathsf{AC}245, Exercise VII.E4 * \mathsf{ZFC}^-+\exists x\colon x=\\{x\\}148, Exercise IV.19 * \mathsf{NBG} (폰 노이만-베르나이스-괴델 집합론). 이는 \mathsf{ZFC}의 보존적 확장이다. 즉, 순수하게 집합에 대한 명제에 대하여, ZFC에서의 증명 가능성과 NBG에서의 증명 가능성이 서로 동치다.
### ZF(C)보다 약한 이론
다음과 같은 이론들은 \mathsf{ZF(C)}에 대하여 상대적으로 무모순적이지만 그 역은 성립하지 않는다. :\mathsf{ZF}\vdash\operatorname{Con}(\mathsf{PA}) 이며, :\operatorname{Con}(\mathsf{ZF-I})\iff\operatorname{Con}(\mathsf{PA}) 이다.149, IV.30언어=en 여기서 \mathsf{PA}는 페아노 공리계이며, \mathsf{ZF-I}는 체르멜로-프렝켈 집합론에서 무한 공리를 생략한 것이다. 따라서, (만약 \mathsf{ZF(C)}가 무모순적이라면) \mathsf{ZF(C)}는 \mathsf{ZF-I}보다 무모순성에 따르면 더 강력하다. 물론, \mathbb N\models\mathsf{PA}이다. 마찬가지로, 다음이 성립한다.132, Theorem IV.6.5 :\mathsf{ZFC}\vdash\operatorname{Con}\left(\mathsf{ZFC-P}\right) 여기서 \mathsf{ZFC-P}는 \mathsf{ZFC}에서 멱집합 공리를 제거하고, 대신 "모든 집합이 가산 집합이다"를 추가한 것이다. 사실, H_{\aleph_1}\models \mathsf{ZFC-P}이다. 여기서 H_{\aleph_1}은 유전적 가산 집합들의 집합이다. 마찬가지로, 다음이 성립한다.123, Theorem IV.3.13 :\mathsf{ZFC}\vdash\operatorname{Con}(\mathsf{ZFC-I}+\lnot\mathsf I) 여기서 \mathsf{ZFC-I}+\lnot\mathsf I는 \mathsf{ZFC}에서 무한 공리를 제거하고, 대신 그 부정을 추가한 것이다. 사실, V_\omega\models \mathsf{ZFC-I}+\lnot\mathsf I이다.isbn=978-0-9824062-4-3136isbn=978-0-486-46921-854 여기서 V_\omega는 유전적 유한 집합들의 집합(즉, 폰 노이만 전체의 \omega번째 단계)이다. 마찬가지로, 다음이 성립한다.settheory0000kune110, Theorem II.2.2 :\mathsf{ZFC}\vdash\operatorname{Con}(\mathsf{ZFC}-\mathsf R+\lnot\mathsf R) 여기서 \mathsf{ZFC}-\mathsf R+\lnot\mathsf R는 \mathsf{ZFC}에서 치환 공리꼴을 그 부정으로 대체한 것이다. 사실, V_{\omega + \omega}\models\mathsf{ZFC}-\mathsf R+\lnot\mathsf R이다.pp=96
### ZFC보다 강한 이론
모스-켈리 집합론(Morse–Kelley set theory) MK는 ZFC의 무모순성을 증명할 수 있어 ZFC보다 더 강한 이론이다.152, Exercise II.10.2 사실, MK의 유한한 수의 정리들을 공리들로 하는 이론 T\subset\mathsf{MK}에 대하여, :\mathsf{MK}\vdash\operatorname{Con}(T) 이며, 특히 T=\mathsf{NBG}인 경우 :\mathsf{MK}\vdash\operatorname{Con}(\mathsf{NBG}) :\operatorname{Con}(\mathsf{NBG})\iff\operatorname{Con}(\mathsf{ZFC}) 이다. 만약 ZFC가 무모순적이라면, ZFC는 도달 불가능한 기수(및 기타 큰 기수)의 존재를 증명할 수 없다. 이는 ZFC+도달 불가능한 기수의 존재로부터 ZFC의 무모순성을 증명할 수 있기 때문이다. 사실, :\mathsf{ZFC}+\operatorname{Inacc}\ne\varnothing\vdash\operatorname{Con}(\mathsf{MK}) 인데, 이는 도달 불가능한 기수 \kappa에 대하여 V_{\kappa+1}\models\mathsf{MK}이기 때문이다. 마찬가지로, ZF+약하게 도달 불가능한 기수의 존재는 ZFC의 무모순성을 보일 수 있다.
## 유한 공리화의 불가능성
ZFC는 공리꼴(axiom schema)을 포함하고 있으므로, 실제로는 무한히 많은 수의 공리들로 이루어져 있다. 리처드 몬터규는 1961년에 ZFC도 ZF도 (만약 무모순적이라면) 유한개의 공리로는 대체될 수 없음을 증명했다. 사실, ZFC의 유한 부분 이론 T\subset\operatorname{Th}(\mathsf{ZFC})에 대하여, 항상 :\mathsf{ZFC}\vdash\operatorname{Con}(\mathsf{ZFC}-\mathsf R+T) 이다.131, Corollary II.5.4 반면, 폰 노이만-베르나이스-괴델 집합론(NBG)은 유한 개의 공리로 공리화할 수 있다.
# 역사
1890년대의 칸토어 역설의 발견과 1901년의 러셀의 역설의 발견으로, 엄밀한 수학기초론의 필요성이 대두되었다. 1904년에 에른스트 체르멜로는 정렬 정리를 증명하기 위하여 선택 공리를 도입하였다. 1908년, 에른스트 체르멜로는 최초의 공리적 집합론인 체르멜로 집합론을 발표했다.언어=de 그러나 체르멜로 집합론은 순서수를 구성하기에 부족하였다. 구체적으로, 체르멜로 집합론에서는 알레프 수 \aleph_\omega를 정의할 수 없다. 또한, 체르멜로의 분류 공리꼴(Axiom der Aussonderung)에는 "명확한"(definit) 성질이라는 표현이 포함되어 있었는데, 이 개념은 엄밀하게 정의되지 않았다. 1907년에 러시아의 수학자 드미트리 미리마노프(Дми́трий Семёнович Мирима́нов)는 집합의 정칙성의 개념을 정의하였고, 이 성질이 체르멜로의 공리계로부터 유도되지 않는다는 사실을 지적하였다. 1910년에 헤르만 바일은 "명확한" 성질을 1차 논리로 정의할 수 있는 성질로 정의하였다.언어=de 1922년에 토랄프 스콜렘 또한 같은 제안을 하였다.언어=de 또한, 1922년에 아브라함 프렝켈언어=de과 스콜렘 은 체르멜로의 공리계에 치환 공리꼴(Ersetzungsaxiom)을 추가하였다. 존 폰 노이만은 여기에 집합의 정칙성을 표현하는 정칙적 공리를 추가하여 ZFC를 완성하였다.