Zermelo-Fraenkel set theory

Etymology
Named after mathematicians Ernst Zermelo and Abraham Fraenkel.

Noun

 * 1)  An axiomatic system that was proposed in the early 20th century in order to formulate a theory of sets free from paradoxes such as Russell's paradox, and became the standard form of axiomatic set theory.

Translations

 * Finnish: Zermelon-Fraenkelin joukko-oppi
 * German: Zermelo-Fraenkel-Mengenlehre
 * Polish: teoria mnogości Zermelo-Fraenkel