zfc

Free On-line Dictionary of Computing

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

(1995-03-29)