# Category:Axioms of set theory

Jump to navigation
Jump to search

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 29 pages are in this category, out of 29 total. This list may not reflect recent changes (learn more).

### A

- Aczel's anti-foundation axiom
- AD+
- Axiom of adjunction
- Axiom of constructibility
- Axiom of determinacy
- Axiom of empty set
- Axiom of extensionality
- Axiom of global choice
- Axiom of infinity
- Axiom of limitation of size
- Axiom of non-choice
- Axiom of pairing
- Axiom of power set
- Axiom of projective determinacy
- Axiom of real determinacy
- Axiom of regularity
- Axiom of union
- Axiom schema of predicative separation
- Axiom schema of replacement
- Axiom schema of specification