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