Definition, synonyms and related words
Initialism of Zermelo-Fraenkel (set theory): a particular axiomatic formulation of set theory without the axiom of choice.
Initialism of zero forcing.