Symbols:Abbreviations/Z/ZFC

From ProofWiki
Jump to navigation Jump to search

Abbreviation: ZFC

An abbreviation for Zermelo-Fraenkel Set Theory with the Axiom of Choice, a system of axiomatic set theory upon which the whole of (at least conventional) mathematics can be based.


Also see


Sources