체르멜로-프렝켈 집합론(Zermelo–Fraenkel set theory, 약어 ZF)은 20세기 초에 발전한 공리적 집합론으로, 현대 수학의 가장 보편적인 기초 체계로 널리 받아들여지고 있습니다. 이는 집합과 그 원소의 관계만을 사용하여 모든 수학적 대상을 정의하고 다루기 위한 엄격한 틀을 제공합니다.
역사 및 발전 19세기 말 게오르크 칸토어에 의해 직관적으로 발전된 집합론은 수학의 여러 분야에 혁신적인 영향을 미쳤으나, 무한 집합을 다루는 과정에서 러셀의 역설과 같은 논리적 모순(paradox)이 발견되면서 위기에 직면했습니다. 이러한 역설을 피하고 집합론에 견고한 기초를 마련하기 위해, 에른스트 체르멜로(Ernst Zermelo)는 1908년에 최초의 공리적 집합론(Zermelo set theory, Z)을 발표했습니다.
이후 1922년 아브라함 프렝켈(Abraham Fraenkel)과 토랄프 스콜렘(Thoralf Skolem)이 체르멜로의 공리계에 새로운 공리인 치환 공리 스키마(Axiom Schema of Replacement)를 추가하여 더욱 강력하고 광범위한 집합론을 구성했습니다. 이 확장된 체계를 체르멜로-프렝켈 집합론(ZF)이라고 부릅니다. 여기에 선택 공리(Axiom of Choice, AC)를 추가한 체계를 ZFC(Zermelo-Fraenkel set theory with the Axiom of Choice)라고 하며, 이것이 오늘날 수학에서 가장 널리 사용되는 표준 기초입니다.
주요 공리 ZF 집합론은 몇 가지 기본적인 공리들로 구성되어 있으며, 이 공리들을 통해 모든 집합의 존재와 속성을 정의합니다. 주요 공리들은 다음과 같습니다.
- 외연 공리(Axiom of Extensionality): 두 집합이 같은 원소를 가지면 그 두 집합은 같다.
- 공집합 공리(Axiom of Empty Set): 원소를 가지지 않는 집합(공집합)이 존재한다.
- 쌍 공리(Axiom of Pairing): 임의의 두 원소에 대해, 그 둘만을 원소로 가지는 집합이 존재한다.
- 합집합 공리(Axiom of Union): 임의의 집합족(집합들의 집합)에 대해, 그 모든 원소 집합들의 원소들을 모두 모은 합집합이 존재한다.
- 멱집합 공리(Axiom of Power Set): 임의의 집합에 대해, 그 부분집합들을 모두 원소로 가지는 집합(멱집합)이 존재한다.
- 무한 공리(Axiom of Infinity): 무한 집합(더 정확히는 무한히 많은 원소를 포함하는 집합의 존재를 보장하는 특정 집합)이 존재한다.
- 분리 공리 스키마(Axiom Schema of Separation/Specification): 주어진 집합과 어떤 조건을 만족하는 속성이 있을 때, 그 조건을 만족하는 원소들로만 이루어진 부분집합이 존재한다. 이는 러셀의 역설과 같은 모순을 방지하는 핵심 공리 중 하나이다.
- 치환 공리 스키마(Axiom Schema of Replacement): 주어진 집합의 각 원소를 어떤 명확한 규칙에 따라 다른 대상으로 '치환'했을 때, 그 치환된 대상들의 집합이 존재한다. 이는 체르멜로의 초기 공리계에서 정의할 수 없었던 특정 큰 집합들을 구성할 수 있게 한다.
- 정초 공리(Axiom of Regularity/Foundation): 모든 비어있지 않은 집합은 자신과 교집합을 가지지 않는 원소를 가진다. 이는 무한히 내려가는 원소의 사슬(예: $x_0 i x_1 i x_2 i \dots$)이나 자신을 원소로 포함하는 집합($x \in x$)의 존재를 금지하여 역설을 방지한다.
여기에 일반적으로 선택 공리(Axiom of Choice, AC)가 추가되어 ZFC가 되는데, 선택 공리는 공집합이 아닌 집합들의 모든 족에 대해 각 집합에서 원소를 하나씩 선택하여 새로운 집합을 만들 수 있음을 주장합니다. 이 공리는 수학의 여러 분야(예: 해석학, 위상수학)에서 유용하게 사용되지만, 직관에 반하는 결과(예: 바나흐-타르스키 역설)를 도출할 수 있어 논쟁의 여지가 있었습니다.
의의 및 한계 ZFC는 거의 모든 현대 수학적 개념과 이론을 정립하는 데 충분한 기반을 제공합니다. 정수, 실수, 함수, 공간 등 모든 수학적 대상을 집합으로 구성할 수 있습니다.
하지만 ZFC에도 한계가 있습니다. 쿠르트 괴델의 불완전성 정리(Incompleeness Theorems)에 따르면, ZFC가 무모순적(consistent)이라면, ZFC 자체의 무모순성을 ZFC 안에서 증명할 수 없습니다. 또한 ZFC 안에서 참이지만 ZFC의 공리들로는 증명할 수도, 부정할 수도 없는 명제들이 존재합니다(예: 연속체 가설). 이러한 미결정 명제들은 집합론 연구의 중요한 대상이 되고 있습니다.