| |
| | New Set Theory |
 | | Despite vast advances in set theory and mathematics in general, the language of set theory, which is also the language of mathematics, has remained the same since the beginning of modern set theory and first order logic. |
 | | However, its theory is less certain, and constructs such as almost self-referential logic are important in their own right. |
 | | It is not clear how strong the theory should be, but for the theorem the following version/axiomatization works: extensionality, foundation, empty set, pairing, union, existence of transitive closure, existence of the set of all sets with transitive closure less numerous than a given set, and bounded quantifier separation. |
| web.mit.edu /dmytro/www/NewSetTheory.htm (4932 words) |
|