Category:集合論の公理

Axiom of power set

Axiom of infinity

Axiom schema of specification

Axiom of empty set

Axiom schema of replacement

Axiom of pairing

Martin's axiom

Axiom of determinacy

Axiom of union

Axiom of regularity

Axiom of extensionality

Axiom of choice