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