Noun
Zermelo-Fraenkel set theory (uncountable)
(mathematics) 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.