The Free On-line Dictionary of Computing (30 December 2018):

ZFC

    Zermelo Fränkel set theory plus the Axiom of
   Choice.  A favourite axiomatisation of set theory.

   (1995-03-29)