Category:Axiomatic Set Theory
From ProofWiki
Axiomatic set theory is a system of set theory which differs from so-called naive set theory in that the sets which are allowed to be generated are strictly constrained by the axioms.
Definitions specific to this category can be found in Definitions/Axiomatic Set Theory.
The best known systems of axiomatic set theory are ZF (Zermelo-Fraenkel) and ZFC (Zermelo-Fraenkel with the Axiom of Choice).
Pages in category "Axiomatic Set Theory"
The following 8 pages are in this category, out of 8 total.
A |
EF |
KS |
