Symbols:Abbreviations/Z

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

Z

Zermelo-Fraenkel Set Theory

ZF

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


Zermelo-Fraenkel Set Theory with the Axiom of Choice

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