# Category:Set theory

From HandWiki

Here is a list of articles in the Set theory category of the Computing portal that unifies foundations of mathematics and computations using computers.

**Set theory**is any of a number of subtly different things in mathematics:

- Naive set theory is the original set theory developed by mathematicians at the end of the 19th century, treating sets simply as collections of things.
- Axiomatic set theory is a rigorous axiomatic theory developed in response to the discovery of serious flaws (such as Russell's paradox) in naive set theory. It treats sets as "whatever satisfies the axioms", and the notion of collections of things serves only as motivation for the axioms.
- Internal set theory is an axiomatic extension of set theory that supports a logically consistent identification of
*illimited*(enormously large) and*infinitesimal*elements within the real numbers. - Various versions of logic have associated sorts of sets (such as fuzzy sets in fuzzy logic).

## Subcategories

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

### A

### C

### D

- Determinacy (21 P)

### F

- Forcing (mathematics) (23 P)

### I

- Inner model theory (10 P)

### O

### S

- Set theorists (106 P)
- Systems of set theory (29 P)

## Pages in category "Set theory"

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

### B

### C

- Cabal (set theory)
- Cantor's diagonal argument
- Cantor's first set theory article
- Cantor's paradise
- Cantor's theorem
- Cardinal assignment
- Cardinality of the continuum
- Categorical set theory
- Chang's conjecture
- Class (set theory)
- Class logic
- Closure (mathematics)
- Club filter
- Club set
- Clubsuit
- Code (set theory)
- Cofinality
- Computable ordinal
- Condensation lemma
- Conglomerate (mathematics)
- Conglomerate (set theory)
- Continuous function (set theory)
- Continuum (set theory)
- Controversy over Cantor's theory
- Corestriction
- Cumulative hierarchy
- Cylinder (algebra)

### D

### E

### F

### G

### H

### I

### M

### N

### P

### S

- S (set theory)
- Schröder–Bernstein property
- Scott's trick
- Separating set
- List of set identities and relations
- Set intersection oracle
- Set notation
- Set theory of the real line
- Set Theory: An Introduction to Independence Proofs
- Set-builder notation
- Set-theoretic limit
- Set-theoretic topology
- Sierpiński set
- Signed set
- Silver's dichotomy
- Soft set
- Solovay model
- Square principle
- Standard model (set theory)
- List of statements independent of ZFC
- Stationary set
- Stratification (mathematics)
- Philosophy:Structuralism (philosophy of mathematics)
- Subclass (set theory)
- Successor cardinal
- Sunflower (mathematics)
- Superstrong cardinal
- Supertransitive class
- Support (mathematics)
- Suslin representation