Naive set theory
Informal set theory foundational to modern mathematics.
Last updated
Naive set theory refers to several informal set theories used in the foundations of mathematics, defined in natural language rather than formal logic. It describes the aspects of mathematical sets familiar in discrete mathematics, such as Venn diagrams and Boolean algebra, and suffices for everyday use of set theory concepts in contemporary mathematics.
Quick Facts
- Field
- Foundations of mathematics
- Known for
- Informal treatment of sets, stepping stone to axiomatic set theory
- Key figures
- Georg Cantor
- Gottlob Frege
- Giuseppe Peano
- Richard Dedekind
Facts from the source article.
Background
The first development of set theory was a naive set theory, created at the end of the 19th century by Georg Cantor as part of his study of infinite sets. It was later developed as a formal but inconsistent system by Gottlob Frege in his Grundgesetze der Arithmetik. Cantor's theory was not axiomatized, and by 1899 he was aware of paradoxes such as Cantor's paradox and the Burali-Forti paradox, but did not believe they discredited his theory.
Did You Know?
- Russell's paradox arises from the assumption that any property may be used to form a set without restriction.
Frequently Asked Questions
What is Naive set theory known for?
It provides the intuitive groundwork for working with collections of objects without demanding a full formal logical framework. In practice, it is sufficient for most routine set-theoretic manipulations in contemporary mathematics.
Which key figures shaped Naive set theory?
Georg Cantor, Gottlob Frege, Giuseppe Peano, and Richard Dedekind are the principal architects who developed and popularized the informal set concepts that define this stage. Their work laid the conceptual vocabulary that later formal systems would codify.
More in Set Theory & Logic
Sources
Compiled from Wikipedia and the sources listed below. Text from Wikipedia is available under CC BY-SA 4.0; this entry is adapted from it.
- Wikipedia: Naive set theory (CC BY-SA 4.0).
Spotted an error? Know more?
Reader corrections go straight into our review queue. Suggest an edit · How this site is sourced