Axioms of set theory

In der Mengenlehre wurde das Axiom der Größenbeschränkung 1925 von John von Neumann in seinem Axiomensystem für Mengen und Klassen eingeführt .

In der axiomatischen Mengenlehre ist das Axiom der leeren Menge , auch Axiom der Nullmenge und Existenzaxiom genannt , eine Aussage, die die Existenz einer Menge ohne Elemente behauptet.

In der Mathematik ist das Regularitätsaxiom (auch Fundamentaxiom genannt ) ein Axiom der Zermelo-Fraenkel-Mengenlehre, das besagt, dass jede nichtleere Menge A ein Element enthält, das disjunkt zu A ist .

In der axiomatischen Mengenlehre ist das Vereinigungsaxiom eines der Axiome der Zermelo-Fraenkel-Mengenlehre . Dieses Axiom wurde von Ernst Zermelo eingeführt .