Category:集合論の公理

Axiom schema of specification

Axiom of regularity

Axiom schema of replacement

Axiom of pairing

Martin's axiom

Axiom of extensionality

Axiom of union

Axiom of power set

Axiom of empty set

Axiom of determinacy

Axiom of infinity

Axiom of choice