Axiomata Zermelo-Fraenkel
From Wikipedia, the free encyclopedia
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).
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7d/Ernst_Zermelo.jpeg/220px-Ernst_Zermelo.jpeg)