ZFC <mathematics> {Zermelo Fränkel set theory} plus the {Axiom of Choice}. A favourite {axiomatisation} of {set theory}. (1995-03-29)