D Zermelo-Fraenkel-Mängileer isch e verbräiteti axiomatischi Mängileer, wo noch em Ernst Zermelo und em Abraham Adolf Fraenkel benennt isch. Si isch hüte d Grundlaag vo fast alle Zwiig vo dr Mathematik. D Zermelo-Fraenkel-Mängileer ooni Uswaalaxiom wird mit ZF abkürzt, mit Uswahlaxiom mit ZFC (s C chunnt vom änglische Wort choice, also Uswaal oder Waal).