# Category:Axiomatic Set Theory

Jump to navigation
Jump to search

This category contains results about **Axiomatic Set Theory**.

Definitions specific to this category can be found in Definitions/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.

## Subcategories

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

### A

- Axiom of Foundation (10 P)
- Axiom of Infinity (1 P)
- Axiom of Pairing (5 P)

### E

- Equality of Ordered Pairs (7 P)

### F

### S

### T

- Tarski-Grothendieck Set Theory (empty)

### V

- Von Neumann-Bernays-Gödel Set Theory (empty)

### Z

- Zermelo Set Theory (empty)

## Pages in category "Axiomatic Set Theory"

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