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