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).