ツェルメロ＝フレンケル集合論

集合論において、ツェルメロ＝フレンケル集合論 () とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。名前は数学者のツェルメロとフレンケルにちなむ。歴史的に議論を呼んだ選択公理 (AC) を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学の基礎となっている。選択公理を含むツェルメロ＝フレンケル集合論はZFCと略される。Cは選択 (Choice) 公理を 、 ZFは選択公理を除いたツェルメロ (Zermelo)＝フレンケル (Fraenkel) 集合論の公理を表す。
概要.
ツェルメロ＝フレンケル集合論は、単一の原始概念の形式化、すなわち整礎なの概念の形式化を目的としているため、議論領域内のすべての対象 (entity) はそのような集合となる。したがって、ツェルメロ＝フレンケル集合論における公理はのみに言及し、そのモデルに(urelement, 集合の元であって、それ自体が集合ではないもの) が含まれないようにしている。さらに、真のクラス（それに属する元が共通してもつ属性によって定義された数学的対象の集まりであり、集合とするには大きすぎるもの）は、間接的にしか扱えない。具体的には、ツェルメロ＝フレンケル集合論では、普遍集合（すべての集合を含む集合）の存在も無制限の内包も許容しないため、ラッセルのパラドックスを回避できる。フォン・ノイマン＝ベルナイス＝ゲーデル集合論(NBG) は、ツェルメロ＝フレンケル集合論の保存拡大としてよく用いられており、真のクラスを明示的に扱うことができる。
ツェルメロ＝フレンケル集合論の公理には多くの同値な定式化が存在する。ほとんどの公理は、他の集合から定義された特定の集合の存在を主張する。たとえば対の公理は、任意の2つの集合 formula_1 と formula_2 が与えられたとき、厳密に formula_1 と formula_2 を含む新しい集合 formula_5 の存在を主張する。ほかには集合の元の属性を説明する公理もある。公理の目標は、フォン・ノイマン宇宙（累積階層とも呼ばれる）におけるすべての集合の集まりに関する命題とみなしたときに、各公理が真であることである。厳密には、ZFCは一階述語論理における1ソート理論である。として、等号と、単一の原始的な二項関係である元の帰属関係がある（通常formula_6で表される）。式 formula_7 は集合 formula_1 が集合 formula_2 の元である（「 formula_1 が formula_2 に含まれる」と表現することもある）ことを意味する。
ツェルメロ＝フレンケル集合論の超数学は広く研究されてきた。この分野で確立された画期的な結果は、選択公理とツェルメロ＝フレンケル集合論上のそれ以外の公理の論理的独立性およびZFCと連続体仮説の独立性が示されたことである。ゲーデルの第二不完全性定理に示されているように、ZFCなどの理論の無矛盾性はその理論自体の中で証明することはできない。
歴史.
集合論の現代的な研究は、1870年代にカントールとデーデキントによって始められた。しかし、ラッセルのパラドックスなどの素朴集合論におけるパラドックスが発見され、これらのパラドックスのない、より厳密な形式の集合論の探求につながった。
1908年、ツェルメロは最初の公理的集合論であるを提案した。しかし、1921年にフレンケルがツェルメロに宛てた手紙で最初に指摘したように、当時ほとんどの集合論の数学者が当然と考えていた基数 formula_12 と集合 formula_13 の存在を、この理論では証明できなかった。ここで、 formula_14 は任意の無限集合であり、 formula_15 は冪集合を得る操作を表す。さらに、ツェルメロの公理の1つは、「明確な (definate)」属性の概念を提起したが、その操作上の意味は明らかでなかった。 1922年、フレンケルとスコーレムは、原子論理式を帰属関係と同一性の表現に限定した一階述語論理における論理式として定式化できるものとして、「明確な」属性を操作することをそれぞれ独立に提案した。彼らはまた、分出公理を置換公理に置き換えることを独立に提案した。これらの公理と（フォン・ノイマンによって最初に提案された）正則性公理をツェルメロ集合論に追加すると、 ZFで表される公理系が得られる。選択公理（AC）またはそれと等価な命題をZFに追加すると、ZFCが導かれる。
公理.
ZFCの公理には多くの同値な定式化が存在する（これについての議論は を参照せよ）。以下に示す公理は、 に従った。公理自体は一階述語論理の記号で表される。論理式に付随する説明は理解を助けるためのものである。
ZFCのどの定式化でも、少なくとも1つの集合が存在することを示唆する。 Kunenは以下に示す公理に加えて、集合の存在を直接主張する公理を含めた（ただし、彼は「強調のため」だけに含めたことに注意）。集合の存在を直接主張する公理の省略は、2つの方法で正当化できる。まず1つ目として、通常ZFCが形式化される一階述語論理の標準的な文脈では、論議領域が空でない必要がある。したがって、「何か」が存在することは一階述語論理の論理的定理である。この定理は通常、「何か」がそれ自体と同一であるという命題 formula_16 として表される。前述の通り、ZFCの言語では集合のみを扱うため、この論理的定理をZFCの言語で解釈すると、何らかの"集合"が存在するということになる。したがって、集合が存在することを主張する別の公理は必要ない。2つ目として、ZFCがいわゆるで定式化されていても、論理だけでは何かが存在することを証明できない場合でも、無限公理（後述）は"無限"集合が存在すると主張する。これは"何らかの"集合が存在することを意味するので、繰り返しだが、追加の公理は不要である。
1. 外延性の公理.
同じ元を持つ場合、2つの集合は等しい（同じ集合である）。
この公理の逆は、等式の置換特性に由来する。等号" formula_18 "を含まない論理体系の場合、 formula_19 は次の式の略語として定義できる。
formula_20
この場合、外延性の公理は次のように定式化できる。
この式は、formula_22 と formula_23 が同じ元を持つ場合、それらは同じ集合に属することを意味する。
2. 正則性公理（基礎の公理）.
空でないどの集合 formula_22 も、formula_22 と formula_23 が素集合となる元 formula_23 を含む。
現代的な表記方法では以下の通り： formula_29
これは（対の公理とともに）、たとえば、どの集合もそれ自体の元ではなく、どの集合も序数のランクを有することを意味する。
3. 分出公理（無制限の内包公理）.
部分集合は通常、を用いて表される。たとえば偶数は、整数formula_30の合同式 formula_31 を満たす部分集合として表すことができる。
一般に、集合 formula_33 の部分集合で1つの自由変数 formula_22 の式 formula_35 に従うものは、以下のように表現できる：
分出公理は、この部分集合が常に存在することを示す（それぞれの formula_37 に1つずつ公理が対応するため、これは公理"型"である）。厳密には、ZFCの言語では、formula_37はすべての自由変数 formula_39 を含む任意の式とする（ formula_23 は formula_37 の自由変数でない ）。このとき：
分出公理は部分集合のみを構築でき、次のように一般的な集合を構築することはできないことに注意せよ：
この制限は、ラッセルのパラドックス（ formula_44とするとformula_45 となる ）や、ラッセルのパラドックスの変種（無制限の内包公理を含む素朴集合論に関連するもの）を防ぐするために必要である。
ZFの公理の中で、この公理は置換公理と空集合の公理に従うという点で冗長である。
一方、分出公理は少なくとも1つの集合が存在することを主張するため（前述）、空集合 formula_46 の存在を証明するために使用できる。証明方法の1つは、どの集合も持たない属性 formula_37 を使うことである。たとえば、 formula_48 が既存の集合である場合、空集合は次のように構成できる。
したがって、空集合の公理は、ここで示す9つの公理によって示すことができる。外延性の公理は、空集合が一意であることを意味する（formula_48 によらない）。記号「formula_46」はしばしばZFCの言語に。
4. 対の公理.
formula_22 と formula_23 が集合である場合、formula_22 と formula_23 を元として含む集合が存在する。
正確に formula_22 と formula_23 のみを元を持つ集合の存在を示すには、分出公理を使用する必要がある。対の公理はZの一部であるが、少なくとも2つの元を持つ集合が与えられた場合は置換公理に従うため、ZFでは冗長である。少なくとも2つの元を持つ集合の存在は、無限公理、または分出公理とべき集合公理の組み合わせのいずれかによって示せる。
5. 和集合の公理.
集合の元に対する和集合が存在する。たとえば、集合formula_59の元に対する和集合はformula_60である。
和集合の公理は、任意の集合の集合 formula_61 について、 formula_61 の元の元であるすべての元を含む集合 formula_63 が存在することを主張する：
この式は、formula_65 の存在を直接主張するものではないが 、上記の分出公理を用いて集合 formula_65 を formula_63 から構築することができる：
6. 置換公理.
置換公理は、定義可能な関数において集合の像も集合内にあると主張する。
厳密には、ZFCの言語で formula_37 を 自由変数 formula_70 が含まれる任意の式とすると、次のように表される（ formula_71 は自由変数ではない） ：
formula_73 の意味は、一意存在量化子を参照せよ。
言い換えれば、関係 formula_37 が定義可能な関数 formula_75 を表し、formula_63 が formula_75 の定義域を表し、 formula_78 が任意の formula_79 に対して集合であるとすると、 formula_75 の値域はある集合 formula_71 の部分集合となる。formula_71 が十分に大きい場合、この公理はコレクションの公理と呼ばれることもある。
7. 無限公理.
formula_83 を何らかの集合として、 formula_84 を formula_85 の省略形とする（対の公理で formula_86 とすると、集合 は formula_87 となり、 formula_87 は有効な集合であるとみなせる）。すると、公理的に定義された空集合 formula_46 を含む集合 が存在し、集合 が の元となるならば formula_90 も の元となる。
平たく言えば、無限に多くの元を持つ集合 が存在する。 （ただし、同じ元が複数あると、元の列が集合内の有限な長さでループするため、元がすべて異なることを確認する必要がある。正則性公理によってすべての元が異なることが保証される。 ）無限公理を満たす最小の集合 は、自然数の集合 formula_92 とみなすこともできるフォン・ノイマン順序数 である。
8. べき集合公理.
定義上、集合 formula_33 のすべての元が集合 formula_22 の元であるとき、またそのときに限って、 formula_33 は formula_22 の部分集合である。
べき集合公理は、任意の集合 formula_22 について、 formula_22 のすべての部分集合を含む集合 formula_23 が存在することを主張する：
次に分出公理を使用して、厳密に formula_22 の部分集合を含む、このような formula_23 の部分集合としてべき集合 formula_104 を定義する：
公理1〜8でZFを定義できる。これらの公理の異なる形もしばしば見かけるが、いくつかはに列挙されている。一部のZF公理系には、空集合の存在を主張する公理が含まれている。対、和集合、置換、およびべき集合の公理は、存在を主張する集合 formula_22 の元（対の集合、和集合、置換集合、べき集合）を集合 formula_22 が含むという形で表現される。
9. 選択公理 (または同値な命題).
任意の集合 formula_108 に対して、 formula_108 を整列する二項関係 formula_110 が存在する。これは formula_110 が、空でない formula_108 のどの部分集合も formula_110 のもとで最小元を持つような、 formula_108 の全順序であることを意味する。
ZFの公理 (すなわち、前述の8つの公理および公理図式) の下で、選択公理は同値な主張をいくつか持つ。Kunenは選択公理に相当するものとして上記の主張を公理に設定したが、これは通常整列可能定理と呼ばれるものである。
選択公理と呼ばれる主張は通常次のようなものである：空でない集合による集合族 formula_116 に対して、各 formula_117 から要素を1つ選択して新しい集合を作ることができる。すなわち、写像 formula_118 で formula_119 となるようなものが存在する。
選択公理は選択集合の存在を主張するが、選択集合がどのように「構築」されるかについては言及しないため、非構成的であるとされる。ACが存在を主張する特定の集合の定義可能性（または不可能性）を明らかにしようと、数多くの研究がなされた。
パラドックスの回避.
ツェルメロが ZF の元となる公理系を1908年に発表した最大の動機は、実数が整列可能だとする彼の証明を弁護することであった。しかし、同時に彼はその当時すでに知られていたパラドックスを回避しなければいけないこともわかっていた。代表的なものとしては、
ラッセルのパラドックス、リシャールのパラドックス、ブラリ＝フォルティのパラドックスがある。
これらのパラドックスは、集合を構成する方法に制限を付けている ZFC の中では展開できない。
例えば、ラッセルのパラドックスで用いられるラッセルのクラス（集まり）
は ZFC の中では構成できないし、
リシャールのパラドックスで用いられる構成は論理式で記述できない。
ラッセルのクラスRが集合でないことから集合全体のなすクラス（「集合」ではなく、ただの集まり）
も集合でないことがわかる。なぜならもしVが集合なら分出公理からRも集合になってしまうためである。
ここまでの議論で使われた公理は外延性公理と分出公理のたった二つだけであるであることを最後に注意しておこう。
累積階層による動機づけ.
ZFC公理の動機の1つは、フォン・ノイマンによって導入された集合の累積階層である。この観点では、集合論の宇宙は階層的に構築され、順序数ごとに1つの階層が存在する。階層0では集合が存在しない。次の各階層で、すべての元が前の階層で追加されている場合、集合が宇宙に追加される。したがって、空集合は階層1で追加され、空集合を含む集合は階層2で追加される。この方法で得られたすべての集合の集まりは、すべての階層で V と呼ばれる。 V 内の集合は、その集合が V に追加された最初の階層を各集合に割り当てることにより、階層構造に配置できる。
集合が純粋かつ整礎的であるとき、かつそのときに限り、集合がVに含まれることを証明できる。序数のクラスが適切な反射特性を有する場合、VがZFCのすべての公理を満たすことを証明できる。たとえば、集合 "x" が階層 α で追加されたと仮定する。これは、 "x" のすべての要素が α より前の階層で追加されたことを意味する。すると、 "x" の部分集合のどの元も階層 α の前に追加されるため、 "x" のどの部分集合も階層 α で追加される。これは、分離の公理が構築できる "x" の部分集合が階層 α で追加され、 "x" のべき集合が α の次の階層で追加されることを意味する。 VがZFCを満たすことの完全な考察については、 を参照せよ。
累積階層に階層化された集合の宇宙という様式は、ZFCや、フォン・ノイマン＝ベルナイス＝ゲーデル集合論（NBGと呼ばれることが多い）やモース-ケリー集合論などの関連する公理的集合論の特徴である。累積階層は、新基礎などの他の集合論とは互換性がない。
"V" の定義を変更して、各階層で、前の階層の和集合の部分集合をすべて追加するのではなく、ある意味で定義可能な場合にのみ部分集合を追加するようにもできる。これにより、構成可能宇宙 "L" を与える、より「狭い」階層構造が得られる。これは、選択公理を含むZFCのすべての公理も満たす。 "V = L" かどうかはZFC公理から独立している"。" "L"の構造は "V" より規則的で良い性質を持つが、 "V" = "L" を「」としてZFCに追加する必要があると主張する数学者も少数ながら存在する。
超数学.
仮想クラス.
前述のように、真のクラス（それに属する元が共通してもつ属性によって定義された数学的対象の集まりであり、集合とするには大きすぎるもの）は、ZF（そしてZFC）では間接的にのみ扱うことができる。 ZFおよびZFC内での真のクラスの代替は、 によって導入された"仮想クラス"表記構造である。ここで、構造全体 y ∈ { "x" | Fx} は単に "Fy" として定義される。これは、クラスの存在性に関与することなく（集合のみを使用するように構文を変換できるため）、集合を含みうるがそれ自体が集合である必要はないクラスの単純な表記法である。Quineのアプローチはの初期のアプローチに基づいて構築された。仮想クラスは、 、 、そしてにおけるZFCの実装でも使用されている。
無矛盾性.
ロビンソン算術を解釈できる再帰的に公理化可能なシステムは、矛盾がある場合にのみ、システム自体の無矛盾性を証明できるとゲーデルの第二不完全性定理は主張する。また、ロビンソン算術はZFCの一部である一般集合論で解釈できる。したがって、ZFCの無矛盾性をZFCの中で証明することはできず（実際に矛盾がある場合を除く）、それゆえに、通常の数学の意味でZFCを捉える限り、ZFCの無矛盾性を通常の数学では実証できない。 ZFCの無矛盾性は弱到達不能基数の存在に由来するが、この基数の存在は、ZFCが無矛盾であるならばZFCでは証明できない。それにもかかわらず、ZFCが予想外の矛盾を含む可能性は低いと考えられている。 ZFCに矛盾を含むとしたら、すでに明らかになっているはずだからである。確かに、ZFCは、素朴集合論の古典的なパラドックス、ラッセルのパラドックス、ブラリ＝フォルティのパラドックス、カントールのパラドックスの影響を受けない。
は、外延性、和集合、べき集合、置換および選択の各公理からなるZFCのを研究した。モデル理論を使い、彼らはこの理論が無矛盾であることと、外延性、置換およびべき集合の各公理は他の4つの公理と独立であることを証明した。この理論に無限公理を加えた場合は、和集合、選択および無限の各公理が他の5つの公理と独立になる。正則性公理を除いたZFCの各公理を満足する非整礎的モデルが存在するため、正則性公理は他のZFCの公理とは独立になる。
ZFCは、無矛盾であるならば、圏論で必要となる到達不能基数の存在を証明できない。 ZFにを追加すると、この性質の巨大な集合が存在できる。タルスキの公理を仮定すると、無限、べき集合、および選択の各公理（上記7〜9）は定理となる。
独立性.
重要な命題の多くはZFCとは独立である（ZFCから独立な命題の一覧を参照）。独立性は通常、強制法によって証明される。強制法によってZFCの可算推移モデル（巨大基数公理で拡張されることもある）を拡張し、問題の命題を満足することが示される。すると、命題の否定を満たすための別の方法が示される。強制法による独立性の証明では、算術的命題、他の具体的な命題、および巨大基数公理からの独立性が自動的に証明される。 ZFCに依存しない命題のいくつかは、構成可能集合などの特定のに該当することが証明できる。ただし、構成的集合について真であるいくつかの命題は、仮定された巨大基数公理と整合しない。
強制法で、次の命題がZFCから独立であることを証明できる。
備考：
強制法の変種を用いて、選択公理の無矛盾性と証明不可能性、すなわち、選択公理のZFからの独立性を示すこともできる。選択公理の無矛盾性は、内部モデル L が選択公理を満たしていることを証明することで（比較的）簡単に検証できる（したがって、ZFのどのモデルにもZFCのサブモデルが含まれているため、Con(ZF)はCon(ZFC)を含意する）。強制法は選択公理を保持するため、選択公理を満たすモデルから選択公理と矛盾するモデルを直接生成することはできない。ただし、強制法を使用して、ZFは満たすがCは満たさないサブモデルを含むモデルを作成できる。
独立性を証明する他の方法は、強制法ではなく、ゲーデルの第二不完全性定理に基づくものである。このアプローチでは、独立性を証明したい命題を用いて、ZFCの集合モデルの存在を証明する。この場合、Con(ZFC)は真となる。 ZFCはゲーデルの第二定理の条件を満たすため、ZFCの無矛盾性をZFCでは証明できない（ZFCが実際に無矛盾である場合）。したがって、ZFCでそのような証明ができる命題はない。この方法で、巨大基数の存在をZFCで証明できないことは証明できるが、ZFCが所与のときに巨大基数の存在を仮定することが無矛盾であることは証明できない。
追加の提案.
連続体仮説または他の超数学的な曖昧さを解決するために、追加の公理を扱う集合論研究者を統合するプロジェクトは、「ゲーデル・プログラム」として知られる。数学者は現在、どの公理が最も妥当または「自明」であり、どの公理がさまざまな領域で最も有用であり、有用性と妥当性とがどの程度トレードオフされるべきかについて議論している。一部の「」集合論研究者は、有用性は、公理について慣習的に用いられる唯一の究極的基準であるべきだと主張している。ある学派は、集合の「反復」概念を拡張して、強制的な公理を採用することにより、興味深く複雑であるが合理的に扱いやすい構造を持つ集合論的宇宙を生み出すことを目指している。別の学派は、おそらく「コア」内部モデルに焦点を当てて、整理された宇宙を提唱している。 
批判.
ZFCは、強すぎることと弱すぎること、および真のクラスや普遍集合などの対象を捉えられないことの両方で批判されてきた。
ペアノ算術や二階算術などの多くの数学的定理は、（逆数学のプログラムで調べられるように）ZFCよりもはるかに弱いシステムで証明できる。マックレーンとフェファーマンはどちらもこの点を指摘している。 「主流の数学」（公理集合論とは直接関係のない数学）のいくつかは、ペアノ算術と二階算術を超えているが、それでも、そのような数学はすべてZFCより弱いZC（と選択公理）で行うことができる。正則性公理や置換公理など、ZFCの強さの多くは、主に集合論自体の研究を容易にするために含まれている。
一方、公理的集合論の中では、ZFCは比較的弱い。 新基礎集合論とは異なり、ZFCは普遍集合の存在を認めていない。したがって、ZFCの下での集合の宇宙は、集合の代数の基本演算の下では閉じられない。フォン・ノイマン＝ベルナイス＝ゲーデル集合論（NBG）やモース＝ケリー集合論（MK）とは異なり、ZFCは真のクラスの存在を認めていない。 ZFCの比較的弱い点として他に、ZFCに含まれる選択公理が、NBGおよびMKに含まれるよりも弱いことが挙げられる。
数多く存在するZFCに依存しない数学的命題には、連続体仮説、、およびなどが含まれる。これらの予想のいくつかは、マーティンの公理や巨大基数公理などの公理をZFCに追加することで証明でき、他のいくつかは ZF + AD で証明できる。ここで AD は決定性公理であり、選択公理と両立しない強い仮定である。巨大基数公理の魅力の1つは、ZF + ADから得られる多くの結果を、巨大基数公理を加えたZFCで得られることにある（を参照）。 Mizarシステムとは、ZFCの拡張であるを採用しているため、グロタンディーク宇宙（圏論と代数幾何学で扱う）を含む証明を形式化できる。
関連項目.
公理的集合論に関連するもの：