Axiomata Zermelo-Fraenkel
Axiomata Zermelo-Fraenkel (saepius ZF aut ZFC si receptum est axioma electionis) sunt axiomata theoriae copiarum ab Ernesto Zermelo et Adopho Abrahamo Halevi Fraenkel edita, quae plerumque a mathematicis hodiernis pro fundamento huius doctrinae asciscunt. Theoria formalis est cum signis ∅ (quod copiam inanem signat) et ∈ (quod aliam copiam ali appertinere signat).