# Category:Systems of set theory

Here is a list of articles in the category **Systems of set theory** of the Computing portal that unifies foundations of mathematics and computations using computers. In set theory, there are several different **Systems of set theory** — lists of axioms organized around a concept of what set theory should be. This category is for articles defining those systems. The individual axioms are in another category (see Category:Axioms of set theory).

## Pages in category "Systems of set theory"

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

### A

- Ackermann set theory
*(computing)* - Alternative set theory
*(computing)*

### C

- Constructive set theory
*(computing)*

### F

- Fuzzy set
*(computing)*

### G

- General set theory
*(computing)*

### I

- Internal set theory
*(computing)*

### K

- Kripke–Platek set theory
*(computing)* - Kripke–Platek set theory with urelements
*(computing)*

### M

- Morse–Kelley set theory
*(computing)*

### N

- Naive set theory
*(computing)* - Near sets
*(computing)* - New Foundations
*(organization)* - Non-well-founded set theory
*(computing)*

### O

- On Numbers and Games
*(computing)*

### P

- Pocket set theory
*(computing)* - Positive set theory
*(computing)*

### R

- Rough set
*(computing)*

### S

- S (set theory)
*(computing)* - Scott–Potter set theory
*(computing)* - Semiset
*(computing)*

### T

- Tarski–Grothendieck set theory
*(computing)* - Tricotyledon theory of system design
*(computing)*

### U

- Universal set
*(computing)*

### V

- Vague set
*(computing)* - Von Neumann–Bernays–Gödel set theory
*(computing)*

### Z

- Zermelo set theory
*(computing)* - Zermelo–Fraenkel set theory
*(computing)*