Category:Definitions/Axiomatic Set Theory

From ProofWiki

Jump to navigation Jump to search

This category contains definitions related to Axiomatic Set Theory.
Related results can be found in Category:Axiomatic Set Theory.

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.

Also see

Category:Axioms/Set Theory

Subcategories

This category has the following 8 subcategories, out of 8 total.

A

Definitions/Axiom of Foundation‎ (3 P)

F

Definitions/Frege Set Theory‎ (1 P)

S

Definitions/Set Equality‎ (1 C, 4 P)

T

Definitions/Tarski-Grothendieck Set Theory‎ (2 P)

V

Definitions/Von Neumann-Bernays-Gödel Set Theory‎ (8 P)

Z

Definitions/Zermelo Set Theory‎ (1 P)
Definitions/Zermelo-Fraenkel Set Theory‎ (3 P)
Definitions/Zermelo-Fraenkel-Skolem Set Theory‎ (3 P)

Pages in category "Definitions/Axiomatic Set Theory"

The following 12 pages are in this category, out of 12 total.

A

Definition:Axiomatic Set Theory

F

Definition:Frege Set Theory

M

Definition:Morse-Kelley Set Theory

S

Definition:Set Equality

T

U

Definition:Universal Class/Zermelo-Fraenkel Theory

V

Definition:Von Neumann-Bernays-Gödel Set Theory

Z

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Definitions/Axiomatic_Set_Theory&oldid=444335"