page_title: Georg Cantor
section_title: Set theory
hierarchical_section_title: Georg Cantor / Mathematical work / Set theory
caption_attribution_description: English: Passage with the set definition of Georg CantorDeutsch: Textstelle mit der Mengendefinition von Georg Cantor (englische Übersetzung von 1955)
context_page_description: Georg Ferdinand Ludwig Philipp Cantor was a German mathematician. He created set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are more numerous than the natural numbers. In fact, Cantor's method of proof of this theorem implies the existence of an infinity of infinities. He defined the cardinal and ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact he was well aware of.
  Cantor's theory of transfinite numbers was originally regarded as so counter-intuitive – even shocking – that it encountered resistance from mathematical contemporaries such as Leopold Kronecker and Henri Poincaré and later from Hermann Weyl and L. E. J. Brouwer, while Ludwig Wittgenstein raised philosophical objections. Cantor, a devout Lutheran, believed the theory had been communicated to him by God.
context_section_description: The beginning of set theory as a branch of mathematics is often marked by the publication of Cantor's 1874 paper, "Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen" ("On a Property of the Collection of All Real Algebraic Numbers"). This paper was the first to provide a rigorous proof that there was more than one kind of infinity. Previously, all infinite collections had been implicitly assumed to be equinumerous (that is, of "the same size" or having the same number of elements). Cantor proved that the collection of real numbers and the collection of positive integers are not equinumerous. In other words, the real numbers are not countable. His proof differs from diagonal argument that he gave in 1891. Cantor's article also contains a new method of constructing transcendental numbers. Transcendental numbers were first constructed by Joseph Liouville in 1844.
  Cantor established these results using two constructions. His first construction shows how to write the real algebraic numbers as a sequence a₁, a₂, a₃, .... In other words, the real algebraic numbers are countable. Cantor starts his second construction with any sequence of real numbers. Using this sequence, he constructs nested intervals whose intersection contains a real number not in the sequence. Since every sequence of real numbers can be used to construct a real not in the sequence, the real numbers cannot be written as a sequence – that is, the real numbers are not countable.  By applying his construction to the sequence of real algebraic numbers, Cantor produces a transcendental number. Cantor points out that his constructions prove more – namely, they provide a new proof of Liouville's theorem: Every interval contains infinitely many transcendental numbers. Cantor's next article contains a construction that proves the set of transcendental numbers has the same "power" (see below) as the set of real numbers.
  Between 1879 and 1884, Cantor published a series of six articles in Mathematische Annalen that together formed an introduction to his set theory. At the same time, there was growing opposition to Cantor's ideas, led by Leopold Kronecker, who admitted mathematical concepts only if they could be constructed in a finite number of steps from the natural numbers, which he took as intuitively given. For Kronecker, Cantor's hierarchy of infinities was inadmissible, since accepting the concept of actual infinity would open the door to paradoxes which would challenge the validity of mathematics as a whole. Cantor also introduced the Cantor set during this period.
  The fifth paper in this series, "Grundlagen einer allgemeinen Mannigfaltigkeitslehre" ("Foundations of a General Theory of Aggregates"), published in 1883, was the most important of the six and was also published as a separate monograph. It contained Cantor's reply to his critics and showed how the transfinite numbers were a systematic extension of the natural numbers. It begins by defining well-ordered sets. Ordinal numbers are then introduced as the order types of well-ordered sets. Cantor then defines the addition and multiplication of the cardinal and ordinal numbers. In 1885, Cantor extended his theory of order types so that the ordinal numbers simply became a special case of order types.
  In 1891, he published a paper containing his elegant "diagonal argument" for the existence of an uncountable set. He applied the same idea to prove Cantor's theorem: the cardinality of the power set of a set A is strictly larger than the cardinality of A. This established the richness of the hierarchy of infinite sets, and of the cardinal and ordinal arithmetic that Cantor had defined. His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem. Cantor wrote on the Goldbach conjecture in 1894.
  In 1895 and 1897, Cantor published a two-part paper in Mathematische Annalen under Felix Klein's editorship; these were his last significant papers on set theory. The first paper begins by defining set, subset, etc., in ways that would be lar
caption: Passage of Georg Cantor's article with his set definition
exif: {}