Symbols:Abbreviations/Z

From ProofWiki
Jump to navigation Jump to search
Previous  ... Next

Z

ZF

An abbreviation for Zermelo-Fraenkel Set Theory, a system of axiomatic set theory upon which most of conventional mathematics can be based.


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.


Previous  ... Next