Category:集合論の公理

Axiom of choice

Axiom of extensionality

Axiom schema of replacement

Axiom schema of specification

Axiom of regularity

Axiom of pairing

Axiom of power set

Axiom of union

Axiom of empty set

Axiom of determinacy

Martin's axiom

Axiom of infinity