English Computing Dictionary
◊ ZFC
ZFC
{Zermelo Fr�nkel set theory} plus the {Axiom of
Choice}. A favourite {axiomatisation} of {set theory}.
(1995-03-29)