Back Zermelo-Fraenkel-Mengenlehre ALS نظرية المجموعات حسب تسيرميلو-فرانكل Arabic Teoria de conjunts de Zermelo-Fraenkel Catalan Zermelova–Fraenkelova teorie množin Czech Damcaniaeth setiau Zermelo–Fraenkel Welsh Zermelo-Fraenkels aksiomer Danish Zermelo–Fraenkel set theory English Axiomas de Zermelo-Fraenkel Spanish Zermelo-Fraenkeli aksiomaatika Estonian Théorie des ensembles de Zermelo-Fraenkel French
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik. Die Zermelo-Fraenkel-Mengenlehre ohne Auswahlaxiom wird durch ZF abgekürzt, mit Auswahlaxiom durch ZFC (wobei das C für das engl. Wort choice, also Auswahl oder Wahl steht).