Category:集合論の公理

Axiom of choice

Axiom of extensionality

Axiom of regularity

Axiom of empty set

Axiom of power set

Axiom schema of replacement

Martin's axiom

Axiom schema of specification

Axiom of pairing

Axiom of determinacy

Axiom of union

Axiom of infinity