Similar to 正則性公理
対の公理
Axiom of pairing冪集合公理
Axiom of power set無限公理
Axiom of infinity和集合の公理
Axiom of union外延性の公理
Axiom of extensionality空集合の公理
Axiom of empty set置換公理
Axiom schema of replacementZFCから独立な命題の一覧
List of statements independent of ZFCΩ-論理
Ω-logicアロンシャイン木
Aronszajn tree▲1 trends公理的集合論
Set theory#Axiomatic set theoryΔ-システム補題
Sunflower (mathematics)▲1 trendsGrundzüge der Mengenlehre
Grundzüge der Mengenlehre0
0▼-1 trends1
1▲6 trends2
23
34
45
56
67
78
89
912345679
決定性公理
Axiom of determinacy選択公理
Axiom of choice分出公理
Axiom schema of specificationマーティンの公理
Martin's axiom