Category:集合論の公理

Axiom schema of replacement

Axiom schema of specification

Axiom of regularity

Axiom of power set

Axiom of extensionality

Axiom of union

Axiom of pairing

Axiom of empty set

Martin's axiom

Axiom of infinity

Axiom of choice

Axiom of determinacy