Noun.  (set theory) (acronym) of Zermelo-Fraenkel set theory with Choice, the standard axiomatization of set theory, including the axiom of choice.

This is an unmodified, but possibly outdated, definition from Wiktionary and used here under the Creative Commons license. Wiktionary is a great resource. If you like it too, please donate to Wikimedia.

This entry was last updated on RefTopia from its source on 3/20/2012.