ZF集合論やKP集合論の公理の一つで、「いかなる要素も含まない集合が存在する」ことを主張するものである。この公理を採用しないZF公理系の定式化も存在する[1]。x)}性質[編集]外延性の公理により、公理で主張される集合は一意に存在することがわかる。空集合を表す定数記号を予め用意してZFを記述することもある。何らかの集合を表す記号であり、空集合の公理によってはじめてそれが空であることが保証される。この公理の主張自体は明白なものと考えられているが、一階述語論理と置換公理から導くことが可能なため[2]、公理には加えないこともある。素朴集合論(英語版)公理的集合論パラドックスラッセルのパラドックス人々ゲオルク・カントールバートランド・ラッセルエルンスト・ツェルメロアドルフ・フレンケルこの項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:数学/Portal:数学)。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。