Difference between revisions of "Naive set theory"

Revision as of 10:27, 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

• Georg Cantor
• Russell's paradox
• Set (mathematics
• Set theory

External links

• Naive set theory @ Wikipedia