Set theory

Set theory is the branch of <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a> that studies <a href="/facts/Set_(mathematics)/BfucfHMq">sets</a>, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of <a href="/facts/Mathematics/pxTouaz4">mathematics</a> – is mostly concerned with those that are relevant to mathematics as a whole.
The modern study of set theory was initiated by the German mathematicians <a href="/facts/Richard_Dedekind/CLkWDhY3">Richard Dedekind</a> and <a href="/facts/Georg_Cantor/k5v1DvW4">Georg Cantor</a> in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of <a href="/facts/Naive_set_theory/hYIC5xPf">naive set theory</a>. After the discovery of <a href="/facts/Paradoxes_of_set_theory/ITr0guN2">paradoxes within naive set theory</a> (such as <a href="/facts/Russell%2527s_paradox/XupqWGYt">Russell's paradox</a>, <a href="/facts/Cantor%2527s_paradox/hbPpKd5r">Cantor's paradox</a> and the <a href="/facts/Burali-Forti_paradox/NQusk9Ik">Burali-Forti paradox</a>), various <a href="/facts/Axiomatic_system/dwMz70d5">axiomatic systems</a> were proposed in the early twentieth century, of which <a href="/facts/Zermelo%25E2%2580%2593Fraenkel_set_theory/UYIsPbXw">Zermelo–Fraenkel set theory</a> (with or without the <a href="/facts/Axiom_of_choice/1Ura2HTh">axiom of choice</a>) is still the best-known and most studied.
Set theory is commonly employed as a foundational system for the whole of mathematics, particularly in the form of Zermelo–Fraenkel set theory with the axiom of choice. Besides its foundational role, set theory also provides the framework to develop a mathematical theory of <a href="/facts/Infinity/cF506uD7">infinity</a>, and has various applications in <a href="/facts/Computer_science/lN3pEyPz">computer science</a> (such as in the theory of <a href="/facts/Relational_algebra/7tjTFXdf">relational algebra</a>), <a href="/facts/Philosophy/zAH5PVD6">philosophy</a>, <a href="/facts/Semantics_(computer_science)/JEP1zyBv">formal semantics</a>, and <a href="/facts/Evolutionary_dynamics/rI7D5rsz">evolutionary dynamics</a>. Its foundational appeal, together with its <a href="/facts/Paradoxes/3VLGjuWf">paradoxes</a>, and its implications for the concept of infinity and its multiple applications have made set theory an area of major interest for <a href="/facts/Logic/8JnpJLtt">logicians</a> and <a href="/facts/Philosophy_of_mathematics/z7xBcdWA">philosophers of mathematics</a>. Contemporary research into set theory covers a vast array of topics, ranging from the structure of the <a href="/facts/Real_number/R02gw5Pb">real number</a> line to the study of the <a href="/facts/Consistency/IHkdnA9M">consistency</a> of <a href="/facts/Large_cardinal/jkSeV92D">large cardinals</a>.

Set theory open-in-new

Set theory