Zermelo-Fraenkel-Axiome
Zermelo-Fraenkel-Axiome, Zermelo-Fraenkel-Skolem-Axiome [-ˈskuː-],
die Axiome der von E. Zermelo, A. A. Fraenkel und T. Skolem entwickelten axiomatischen Begründung der Mengenlehre. Neben dem Auswahlaxiom und dem Unendlichkeitsaxiom enthält sie weitere sechs Axiome. Das Extensionalitätsaxiom stellt fest, dass zwei Mengen genau dann gleich sind, wenn sie dieselben Elemente enthalten. Grundlegende Mengenbildungsaxiome sind das Zweiermengenaxiom: Zu je zwei
Informationen zum Artikel
Quellenangabe