Category:Systems of set theory
![]() | Computing portal |
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)