Naive set theory
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
