These axioms, together with the additional axiom of replacement proposed by Abraham Fraenkel, are now called Zermelo–Fraenkel set theory (ZF).
Ezeket az axiómákat, kiegészítve Abraham Fraenkel helyettesítési axiómájával, ma Zermelo–Fraenkel (ZF) halmazelméletnek hívjuk.