| |
| | 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. |
 | | We use strong logics and weak set theories to clarify the strengths of inaccessible and Mahlo cardinals. |
 | | 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) |
|