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