Category:集合論の公理
選択公理
Axiom of choice無限公理
Axiom of infinity
正則性公理
Axiom of regularity
置換公理
Axiom schema of replacement
空集合の公理
Axiom of empty set
マーティンの公理
Martin's axiom
適正強制公理
Proper forcing axiom和集合の公理
Axiom of union
決定性公理
Axiom of determinacy
冪集合公理
Axiom of power set
対の公理
Axiom of pairing
外延性の公理
Axiom of extensionality
分出公理
Axiom schema of specification