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