<mathematics> Zermelo Fr�nkel set theory plus the Axiom of Choice. A favourite axiomatisation of set theory.
(29 Mar 1995)