英
英
ZF公理系
公理
1925年
ジョン・フォン・ノイマン
選択公理
同値
命題
定義

空
集合
要素
ZF公理系
[1]
整礎関係
集合論
宇宙
整礎的集合
クラス
フォン・ノイマン宇宙
順序数
極限順序数
クラス
集合演算
対集合
和集合
冪集合
正則性
性質

任意
推移的
超限帰納法
極限順序数
和集合
順序数
後続順序数
極限順序数
矛盾
補題
^
Kunen 1980
参考文献

Halmos, Paul R.
ISBN
978-1-78139-466-3
素朴集合論
ミネルヴァ書房
ISBN
4-623-00986-6
ISBN
9780444868398
関連項目

整礎的集合
公理的集合論
集合論
外部リンク

コトバンク
Weisstein, Eric W. "Axiom of Foundation"
表
話
集合論
集合
元
包含関係
内包と外延
クラス
ベン図
演算
和集合
非交和
共通部分
素集合
直積集合
分割
補集合
差集合
対称差
冪集合
ド・モルガンの法則
集合の代数学
関係
反射関係
推移関係
推移閉包
対称関係
非対称関係
反対称関係
完全関係
同値関係
同値類
well-defined
整礎関係
逆関係
関係の合成
写像
定義域
終域
値域
単射
全射
全単射
逆写像
像と逆像
恒等写像
制限
包含写像
合成
射影