集合論において、ツェルメロ＝フレンケル集合論（英: Zermelo-Fraenkel set theory）とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。名前は数学者のツェルメロとフレンケルにちなむ。歴史的に議論を呼んだ選択公理 (AC) を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学の基礎となっている。選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択 (Choice) 公理を[1] 、 ZFは選択公理を除いたツェルメロ (Zermelo)＝フレンケル (Fraenkel) 集合論の公理を表す。 ツェルメロ＝フレンケル集合論は、単一の原始概念
概要
ツェルメロ＝フレンケル集合論の公理には多くの同値な定式化が存在する。ほとんどの公理は、他の集合から定義された特定の集合の存在を主張する。たとえば対の公理は、任意の2つの集合 a {\displaystyle a} と b {\displaystyle b} が与えられたとき、 a {\displaystyle a} と b {\displaystyle b} のみからなる新しい集合 { a , b } {\displaystyle \{a,b\}} の存在を主張する。ほかには集合の元の属性を説明する公理もある。公理の目標は、フォン・ノイマン宇宙（累積階層とも呼ばれる）におけるすべての集合の集まりに関する命題とみなしたときに、各公理が真であることである。厳密には、ZFCは一階述語論理における1ソート理論である。シグネチャとして、等号と、単一の原始的な二項関係である元の帰属関係がある（通常 ∈ {\displaystyle \in } で表される）。式 a ∈ b {\displaystyle a\in b} は集合 a {\displaystyle a} が集合 b {\displaystyle b} の元である（「 a {\displaystyle a} が b {\displaystyle b} に含まれる」と表現することもある）ことを意味する。
ツェルメロ＝フレンケル集合論の超数学は広く研究されてきた。この分野で確立された画期的な結果は、選択公理とZF公理の論理的独立性およびZFCと連続体仮説の独立性が示されたことである。ゲーデルの第二不完全性定理が示すように、ZFCなどの理論の無矛盾性はその理論自体の中で証明することはできない。 集合論の現代的な研究は、1870年代にカントールとデーデキントによって始められた。しかし、ラッセルのパラドックスなどの素朴集合論におけるパラドックスが発見され、これらのパラドックスのない、より厳密な形式の集合論の探求につながった。 1908年、ツェルメロは最初の公理的集合論であるツェルメロ集合論を提案した。しかし、1921年にフレンケルがツェルメロに宛てた手紙で最初に指摘したように、当時ほとんどの集合論の数学者が当然と考えていた基数 ℵ ω {\displaystyle \aleph _{\omega }} と集合 { Z 0 , P ( Z 0 ) , P ( P ( Z 0 ) ) , P ( P ( P ( Z 0 ) ) ) , . . . } {\displaystyle \{Z_{0},{\mathcal {P}}(Z_{0}),{\mathcal {P}}({\mathcal {P}}(Z_{0})),{\mathcal {P}}({\mathcal {P}}({\mathcal {P}}(Z_{0}))),...\}} の存在を、この理論では証明できなかった。ここで、 Z 0 {\displaystyle Z_{0}} は任意の無限集合であり、 P {\displaystyle {\mathcal {P}}} は冪集合を得る操作を表す[2]。さらに、ツェルメロの公理の1つは、「明確な (definate)」属性の概念を提起したが、その操作上の意味は明らかでなかった。 1922年、フレンケルとスコーレムは、原子論理式を帰属関係と同一性の表現に限定した一階述語論理における論理式として定式化できるものとして、「明確な」属性を操作することをそれぞれ独立に提案した。彼らはまた、分出公理を置換公理に置き換えることを独立に提案した。
歴史