Category:集合論の公理

Axiom of power set

Axiom schema of specification

Axiom of infinity

Axiom of empty set

Axiom of pairing

Axiom schema of replacement

Martin's axiom

Axiom of regularity

Axiom of union

Axiom of determinacy

Axiom of extensionality

Axiom of choice