Set theory
Branch of logic studying sets and mathematical foundations.
Wikipedia / Wikimedia Commons
Set theory is a branch of mathematical logic focused on sets, which are essentially just collections of objects. While any kind of object can be grouped into a set, the field primarily concerns itself with collections relevant to mathematics overall.
The modern study of set theory began in the 1870s with German mathematicians Richard Dedekind and Georg Cantor, with Cantor generally regarded as its founder. The early, informal systems from this period are known as naive set theory. After paradoxes emerged in this naive framework—such as Russell’s paradox, Cantor’s paradox, and the Burali-Forti paradox—several axiomatic systems were proposed in the early 1900s. The most famous and thoroughly studied among them remains Zermelo–Fraenkel set theory, with or without the axiom of choice.
Set theory is widely used as a foundation for all of mathematics, especially in the form of Zermelo–Fraenkel set theory with the axiom of choice. Beyond this foundational role, it offers a framework for a mathematical treatment of infinity and has applications in computer science (for instance, in relational algebra theory), philosophy, formal semantics, and evolutionary dynamics. Its foundational appeal, its paradoxes, its implications for the concept of infinity, and its diverse applications make set theory a major focus for logicians and philosophers of mathematics. Contemporary research in set theory spans a wide range of topics, from the structure of the real number line to the consistency of large cardinals.
**History**
**Early history**
The basic idea of grouping objects has existed at least since numbers first appeared, and treating sets as objects in their own right dates back at least to the Tree of Porphyry in the 3rd century CE. Because sets are so simple and common, pinpointing their origin in mathematics is difficult. However, Bernard Bolzano’s *Paradoxes of the Infinite* (1851) is generally seen as the first rigorous introduction of sets to mathematics. In that work, he expanded on Galileo’s paradox and introduced one-to-one correspondence between infinite sets—for example, between the intervals [0,5] and [0,12] using the relation 5y = 12x. Still, he avoided calling these sets equinumerous, and his work is considered largely uninfluential in the mathematics of his time.
Before mathematical set theory, basic ideas about infinity belonged to philosophy. Starting
- field
- Mathematical logic
- known_for
- Foundational system for mathematics, theory of infinity, Cantor's theorem, Russell's paradox
- key_figures
- Georg Cantor, Richard Dedekind, Gottlob Frege, Bertrand Russell
- start_date
- 1870s
- related_concepts
- Cardinality, transfinite numbers, Zermelo–Fraenkel set theory, axiom of choice
Lore & Background
The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s, with Cantor commonly considered its founder. The non-formalized systems of this early stage are called naive set theory. After the discovery of paradoxes such as Russell's paradox, Cantor's paradox, and the Burali-Forti paradox, various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) remains the best-known and most studied.
Cantor's 1874 paper 'On a Property of the Collection of All Real Algebraic Numbers' introduced cardinality and the concept of one-to-one correspondence, proving that the set of all real numbers is uncountable. He later proved Cantor's theorem, that the power set of any set A is strictly larger than A, even for infinite sets. Cantor developed transfinite numbers (cardinals and ordinals), using the Hebrew letter ℵ for cardinals and the Greek letter ω for ordinals. His work encountered resistance from contemporaries such as Leopold Kronecker and Henri Poincaré, but gained ground around the turn of the 20th century through the work of Dedekind, Peano, and Frege.
Frege attempted to ground all mathematics in logical axioms using Cantor's cardinality, but Bertrand Russell found that Frege's Basic Law V led to a contradiction, now known as Russell's paradox: the set of all sets that are not members of themselves leads to a logical contradiction. This paradox, along with others, prompted the development of axiomatic set theories.
Reader's Guide
Set theory's significance lies in its role as a foundational system for mathematics, particularly through Zermelo–Fraenkel set theory with the axiom of choice. It provides the framework for a mathematical theory of infinity, addressing concepts such as cardinality and transfinite numbers that were previously considered philosophical. The discovery of paradoxes in naive set theory, such as Russell's paradox, forced a rigorous axiomatic approach, shaping modern mathematical logic. Beyond foundations, set theory has applications in computer science (relational algebra), philosophy, formal semantics, and evolutionary dynamics. Its foundational appeal, paradoxes, implications for infinity, and multiple applications have made it a major area of interest for logicians and philosophers of mathematics. Contemporary research covers topics from the structure of the real number line to the consistency of large cardinals.
Did You Know?
- Bernard Bolzano's 1851 work 'Paradoxes of the Infinite' is generally considered the first rigorous introduction of sets to mathematics.
- Cantor's first uncountability proof differs from the more familiar proof using his diagonal argument.
- Russell's paradox arises from Frege's Basic Law V, which allowed the set of all sets that are not members of themselves.
- Set theory has applications in computer science, such as in the theory of relational algebra.
More in Sets And Logic 1-24
Elsewhere in the Sets And Logic universe
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record