(mathematics) Zermelo Fränkel set theory plus the Axiom of Choice. A favourite axiomatisation of set theory.
Last updated: 1995-03-29