公理的集合論

公理的集合論（こうりてきしゅうごうろん、"axiomatic set theory"）とは、公理化された集合論のことである。
集合の公理系.
ツェルメロ＝フレンケル集合論（ZF公理系）.
現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理（Axiom of Choice）を加えた ZFC公理系（Zermelo-Fraenkel set-theory with the axiom of Choice）である。ZC, ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z-, ZF-, ZC-, ZFC- で各体系から正則性公理を除いたものを表す。キューネンは『The Foundations of Mathematics』で「初等数学のほとんどはZC-での中でなされる」と述べている。
分出公理.
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理はZFの公理から示すことができる。
分出公理を公理として採用する場合には"X"を任意に選んだ集合、 formula_22を恒偽式formula_23としてとして分出公理を適用することにより空集合の存在が導かれる。
追加の公理.
特に集合論においては、必要に応じて追加の公理が課せられる場合がある。そのようなものは追加される公理を適当な記号で表して ZFC+I (到達不能基数の存在を仮定する場合) や ZFC+GCH (一般連続体仮説の場合) のように表記される。
グロタンディーク宇宙の存在公理.
圏論における議論の目的の一つに、群やその間の準同型といった数学的対象全体の性質を議論することがある。しかし、これらを素朴に実装する (すなわち、内包原理を一般に適用する) ことは集合論上のパラドックスを引き起こすため、例えばZFCのような形式的な体系においては認められない。
マックレーンは『圏論の基礎』において、ユニバース (無限集合 を要素に持つグロタンディーク宇宙) を導入することでこの問題を回避している。ユニバースの要素となる集合を"小さい"集合、そうでないものを"大きい"集合とし、ユニバースの内側で通常の数学が行えるようにすることで、すべての小さい集合の圏 Set やすべての小さい圏の圏 Cat といったものの議論が可能になる。
グロタンディーク宇宙の存在は到達不能基数の存在と等価である (正確に書くと、任意のグロタンディーク宇宙 はある到達不能基数 で と表すことができ、逆に任意の到達不能基数 に対して濃度が であるようなグロタンディーク宇宙が存在する)。到達不能基数はZFCのモデルを提供するため、これはZFCよりも強い公理系をなす。
タルスキの公理.
アレクサンドル・グロタンディークは自身の著書において、任意の大きさのグロタンディーク宇宙が存在すること (任意の集合に対して、それを含むグロタンディーク宇宙が存在すること) を公理として課した。これは現在、と呼ばれている。
フォン・ノイマン＝ベルナイス＝ゲーデル集合論.
置換公理と分離公理には、いずれも無限に多くの実例がある。 には、1957年の博士論文で最初に証明された「ZFCが無矛盾であれば、有限個の公理でZFCを公理化することはできない」という結果が含まれる。一方、（NBG）は、有限個の公理で公理化することができる。 NBGには真のクラスと集合が含まれるが、集合は別のクラスの元になることができる任意のクラスであるとされる。 NBGとZFCはクラスに言及しておらず、一方の理論で証明できる定理がもう一方の理論でも証明できるという意味で、等価な集合論であるといえる。
モース-ケリー集合論.
モース-ケリー集合論を参照。
新基礎集合論.
新基礎集合論を参照。