ZFC

from The Free On-line Dictionary of Computing (8 July 2008)
ZFC

   <mathematics> {Zermelo Fränkel set theory} plus the {Axiom of
   Choice}.  A favourite {axiomatisation} of {set theory}.

   (1995-03-29)
    

[email protected]