Difference between revisions of "Naive set theory"
Karl Jones (Talk | contribs) (Created page with "'''Naive set theory''' is one of several theories of sets used in the discussion of the foundations of mathematics. == Description == Unlike Set...") |
Karl Jones (Talk | contribs) (→See also) |
||
Line 15: | Line 15: | ||
* [[Georg Cantor]] | * [[Georg Cantor]] | ||
* [[Russell's paradox]] | * [[Russell's paradox]] | ||
− | * [[Set (mathematics]] | + | * [[Set (mathematics)]] |
* [[Set theory]] | * [[Set theory]] | ||
Latest revision as of 10:28, 17 August 2016
Naive set theory is one of several theories of sets used in the discussion of the foundations of mathematics.
Description
Unlike axiomatic set theories, which are defined using a formal logic, naive set theory is defined informally, in natural language.
It describes the aspects of mathematical sets familiar in discrete mathematics (for example Venn diagrams and symbolic reasoning about their Boolean algebra), and suffices for the everyday usage of set theory concepts in contemporary mathematics.
Sets are of great importance in mathematics; in fact, in modern formal treatments, most mathematical objects (numbers, relations, functions, etc.) are defined in terms of sets.
Naive set theory can be seen as a stepping-stone to more formal treatments, and suffices for many purposes.
See also
External links
- Naive set theory @ Wikipedia