The axiom system ZFC

Existenz der leeren Menge Existence of the empty set
Extensionalitätsaxiom Axiom of extensionality
Paarmengenaxiom Axiom of pairing
Vereinigungsaxiom Axiom of union
Potenzmengenaxiom Axiom of power set
Aussonderungsschema Scheme of separation
Ersetzungsschema Scheme of replacement
Unendlichkeitssaxiom Axiom of infinity
Fundierungsaxiom Axiom of foundation
Auswahlaxiom Axiom of choice



you can cycle through the axioms by clicking them
back