Category:Axioms of set theory
From Infogalactic: the planetary knowledge core
This category is for axioms in the language of set theory; roughly speaking, ones that "talk about sets". Inclusion in this category does not necessarily imply that the axiom in question is an accepted axiom, or that it is believed to be true in the von Neumann universe of sets.
Pages in category "Axioms of set theory"
The following 19 pages are in this category, out of 19 total.
A
- Aczel's anti-foundation axiom
- AD+
- Axiom of constructibility
- Axiom of determinacy
- Axiom of empty set
- Axiom of extensionality
- Axiom of infinity
- Axiom of pairing
- Axiom of power set
- Axiom of real determinacy
- Axiom of regularity
- Axiom of union
- Axiom schema of predicative separation
- Axiom schema of replacement
- Axiom schema of specification