Definition, synonyms and related words
Initialism of Zermelo-Fraenkel set theory with Choice; the standard axiomatization of set theory, including the axiom of choice.