Category:集合論の公理

Axiom of extensionality

Axiom of union

Axiom of determinacy

Martin's axiom

Axiom of empty set

Axiom of power set

Axiom of infinity

Axiom of pairing

Axiom of regularity

Axiom schema of replacement

Axiom schema of specification

Axiom of choice