|
Axiomatic set theory - Wikipedia, the free encyclopedia (2654 words) |
 | Set theory is a branch of mathematics created principally by the German mathematician Georg Cantor at the end of the 19th century. |
 | Initially controversial, set theory has come to play the role of a foundational theory in modern mathematics, in the sense of a theory invoked to justify assumptions made in mathematics concerning the existence of mathematical objects (such as numbers or functions) and their properties. |
 | The most frequent objection to set theory is the constructivist view that mathematics is loosely related to computation and that naive set theory is being formalised with the addition of noncomputational elements. |
| Category:Set theory - Wikipedia, the free encyclopedia (175 words) |
 | 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. |
 | 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. |