Axiome der Mengenlehre

Übergeordnet

Untergeordnet

Leermengenaxiom (Null)
Aussonderungsschema (AUS)
Auswahlaxiom (AC)
Ersetzungsschema (Ers)
Existenz-Axiom (Ex)
Extensionalitätsaxiom (Ext)
Fundierungsaxiom (Fun)
Paarmengenaxiom (PA)
Potenzmengenaxiom (Pot)
Unendlichkeitsaxiom (Inf)
Vereinigungsmengenaxiom