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