# Cantor’s Original 1891 Diagonal proof

*Über eine elemtare Frage de Mannigfaltigkeitslehre*

(On an elementary question of set theory)

• English Translation •

The following is an English translation of the main part of Cantor’s original 1891 proof. (Footnote:
Georg Cantor, *“Über eine elemtare Frage de Mannigfaltigkeitslehre”*, Jahresberich der Deutsch. Math. Vereing. Bd. I, S. pp 75-78 (1891).)
This is the basis for the Diagonal proof and for the Power Set Theorem. The original German text of Cantor’s proof is also included below. Note that there is an English translation of the Grundlagen that is referred to as *“Grundlagen einer allgemeinen Mannigfaltigkeitslehre”* in Cantor’s text.

English translation by James R Meyer, copyright 2018 - 2022 www.jamesrmeyer.com

Note that the term “cardinality” for infinite sets was not in current usage at the time Cantor wrote this paper; he uses the term “Mächtigkeit”, which can have corresponding English meanings such as ‘thickness’, ‘width’, ‘mightiness’, ‘potency’, etc. I have used the term “magnitude” as a suitable translation.

On an Elementary Question on Set Theory

In the paper entitled *On a property of a set of all real algebraic numbers* (Journal Math. Bd. 77, S. 258), (Footnote:
Translator’s note, see an online English translation of that article at On a Property of the Set of all Real Algebraic Numbers.)
there appeared, probably for the first time, a proof of the proposition that there is an infinite set of elements, which cannot be put into a one-one correspondence with the set of all finite whole numbers 1, 2, 3, …, *v*, …, or as I frequently state, the infinite set of elements does not have the magnitude of the number series 1, 2, 3, …, *v*, …, . From the proposition proved in §2 there follows another, that the set of all the real numbers in an arbitrary interval (a, b) cannot be arranged in the series:

*w*_{1}, *w*_{2}, … , *w*_{v}, …

However, there is a proof of this proposition that is much simpler, and which does not depend on a consideration of the irrational numbers. We let * m* and

*be two different characters, and consider a set*

**n****of elements:**

*M*

*E* = (*x*_{1}, *x*_{2}, … , *x*_{v}, … )

where each element ** E** is defined by infinitely many coordinates

*x*

_{1},

*x*

_{2}, … ,

*x*

_{v}, … and where each of the coordinates is either

*or*

**m***. Let*

**w***be the set of all such elements*

**M****. For example, we might have the following three elements of**

*E**:*

**M**

** E_{1}** =

**(**

*m*,*m*,*m*,*m*, … )** E_{2}** =

**(**

*w*,*w*,*w*,*w*, … )** E_{u}** =

**(**

*m*,*w*,*m*,*w*, … )

I now assert that such a set ** M** does not have the magnitude of the series 1, 2, 3, …,

*v*, …, . This follows from the following proposition:

If ** E_{1}**,

**, …,**

*E*_{2}**is any infinite series of elements of the set**

*E*_{v}**, then there always exists an element**

*M***of**

*E*_{0}*, which cannot be the same element as any element*

**M****.**

*E*_{v}

The proof is given by assuming that there are:

** E_{1}** =

**(a**

_{1.1}*a*_{1.2}…*a*_{1.v}…)** E_{2}** =

**(a**

_{2.1}*a*_{2.2}…*a*_{2.v}…)** E_{u}** =

**(a**

_{u.1}*a*_{u.2}…*a*_{u.v}…)**…**

where each * a_{u.v}* is either

**or**

*m***. Then there is a series**

*w***that can be defined so that**

*b*_{1},*b*_{2}, …,*b*, …_{n}*is also equal to*

**b**_{v}**or**

*m***but is different from**

*w**. That is, if*

**a**_{v.v}*=*

**a**_{v.v }**, then**

*m**=*

**b**_{v}**.**

*w*

Consider the element:

** E_{0}** = (

**,**

*b*_{1}**,**

*b*_{2}**, …)**

*b*_{3}

of *M*. One sees straight away, that the equation:

** E_{0}** =

*E*_{u}cannot be satisfied by any positive integer * u*, otherwise for that value of

*and for all values of*

**u***, we would have:*

**v**

**b _{v}** =

**a**

_{u.v}

and so we would in particular have:

**b _{u}** =

**a**

_{u.u}

which by the definition of * b_{v}* is impossible.

From this proposition it follows immediately that the set of all elements of *M* cannot be put into a sequence such as:

** E_{1}**,

**, …,**

*E*_{2}**, …**

*E*_{v}otherwise we would have a contradiction, that an element ** E_{0}** would be both an element of

**, but also not an element of**

*M***.**

*M*

Note: The above is the part of Cantor’s paper which is relevant to what we now call Diagonal proofs. The second part which follows below is often referred to as Cantor’s Power set proof, but in fact it is only a proof of a specific case, and is not a general proof that there cannot be a one-to-one correspondence of a set and its Power set, see the Power Set Proof.

This proof appears remarkable not only because of its great simplicity, but especially because the principles used in it can easily be extended to the general proposition that the magnitudes of well-defined sets have no maximum or, to the same effect, that for every given set * L* another set

*can be generated which is greater than*

**M***.*

**L**

For example, let * L* be a linear continuum, for example the set of all real number quantities

*that are ≧ 0 and ≦ 1.*

**z**

By * M* we understand the set of all well-defined functions

**ƒ(**, which only assume the two values 0 or 1, while

*x*)*runs through all real values, which are ≧ 0 and ≦ 1.*

**x**

That * M* does not have a smaller magnitude than

*follows from the fact that subsets of*

**L***can be defined which have the same magnitude as*

**M***, e.g.*

**L***is the subset which comprises all functions of*

**B***, which have the value 1 for a single value*

**x**

**x****of**

_{0}*, the value 0 for all other values of*

**x***.*

**x**

However, * M* also does not have the same magnitude as

*, since otherwise the set*

**L***could be brought into a well-defined relationship to a variable*

**M***, and*

**z***can be in the form of a unique function of the two variables*

**M***and*

**x**

**z****φ( x, z)**

such that for each occurrence of * z*, there is a corresponding element

**ƒ(**of

*x*) = φ(*x*,*z*)*and vice versa, for every element*

**M****ƒ(**of

*x*)*from*

**M****φ(**there is a single corresponding occurrence of

*x*,*z*)*. But this leads to a contradiction. Because given that*

**z****g(**is the unique function on

*x*)*which only takes the values 0 or 1 and is different from*

**x****φ(**for each value of

*x*,*x*)*, then on the one hand*

**x****g(**is an element of

*x*)*, on the other hand,*

**M****g(**cannot result from

*x*)**φ(**by any specific instance of

*x*,*z*)**, because**

*z*=*z*_{0}**φ(**is different from

*z*_{0},*z*_{0})**g(**.

*z*_{0})

Thus, if the magnitude of * M* is neither less than or equal to that of

*, it follows that it is greater than the magnitude of*

**L***. (See Crelles Journal vol. 84, p. 242). (Footnote: Georg Cantor,*

**L***“Ein Beitrag zur Mannigfaltigkeitslehre”*, Journal für die reine und angewandte Mathematik (Crelle’s Journal), Vol. 84, p.242-258, 1878.

Translator’s note, see an online English translation of that article at A Contribution to the Theory of Sets.)

I have already shown in the “Grundlagen einer allgemeinen Mannigfaltigkeitslehre” (Leipzig 1883; Math. Ann. Vol. 21) that the magnitudes have no maximum; it was also proven there that the set of all magnitudes, if we think of the latter according to the order of size, constitutes a well-ordered set, so that in fact there is a next larger set for every magnitude, and indeed for each one of a continuously increasing number of magnitudes there is also a next larger magnitude.

The “Magnitudes” represent the unique and essential generalization of the finite “Cardinal numbers”, they are nothing else than the actual-infinitely-large Cardinal numbers, and they have the same reality and certainty as those; it is only the logical relationships between them, and the “number theory” associated with them, that are somewhat different from those in the finite domain.

The further development of this field is the task of the future.

Footnotes:

### Cantor’s 1891 proof in the original German

**Über eine elementare Frage der Mannigfaltigkeitslehre**

In dem Aufsätze, betitelt: Über eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen (Journ. Math. Bd. 77, S. 258), findet sich wohl zum ersten Male ein Beweis für den Satz, daß es unendliche Mannigfaltigkeiten gibt, die sich nicht gegenseitig eindeutig auf die Gesamtheit aller endlichen ganzen Zahlen 1, 2, 3,…, ν,… beziehen lassen, oder, wie ich mich auszudrücken pflege, die nicht die Mächtigkeit der Zahlenreihe 1, 2, 3,…, ν,… haben. Aus dem in § 2 Bewiesenen folgt nämlich ohne weiteres, daß beispielsweise die Gesamtheit aller reellen Zahlen eines beliebigen Intervalles (α…β) sich *nicht* in der Reihenform

ω_{1}, ω_{2}, …, ω_{ν}, …

darstellen läßt.

Es läßt sich aber von jenem Satze ein viel einfacherer Beweis liefern, der unabhängig von der Betrachtung der Irrationalzahlen ist.

Sind nämlich *m* und *w* irgend zwei einander ausschließende Charaktere, so betrachten wir einen Inbegriff *M* von Elementen

*E* = ( *x*_{1}, *x*_{2}, *x*_{ν}, … ),

welche von unendlich vielen Koordinaten *x*_{1}, *x*_{2}, *x*_{ν}, … abhängen, wo jede dieser Koordinaten entweder *m* oder *w* ist. *M* sei die Gesamtheit aller *E*lemente *E*.

Zu den Elementen von *M* gehören beispielsweise die folgenden drei:

*E*^{I} = ( *m*, *m*, *m*, *m*, … ),

*E*^{II} = ( *w*, *w*, *w*, *w*, … ),

*E*^{III} = ( *m*, *w*, *m*, *w*, … ).

Ich behaupte nun, daß eine solche Mannigfaltigkeit *M* nicht die Mächtigkeit der Reihe 1, 2,…,ν ,… hat.

Dies geht aus folgendem Satze hervor:

“Ist *E*_{1} ,*E*_{2},…,*E*_{ν},… irgendeine einfach unendliche Reihe von Elementen der Mannigfaltigkeit *M*, so gibt es stets ein Element *E*_{0} von *M*, welches mit keinem *E*_{ν} übereinstimmt.”

Zum Beweise sei

*E*^{1} = ( *a*_{1,1}, *a*_{1,2}, …, *a*_{1,ν}, … )

*E*^{2} = ( *a*_{2,1}, *a*_{2,2}, …, *a*_{2,ν}, … )

…

*E*^{μ} = ( *a*_{μ,1}, *a*_{μ,2}, …, *a*_{μ,ν}, … )

…

Hier sind die *a*_{μ,ν} in bestimmter Weise *m* oder *w*. Es werde nun eine Reihe *b*_{1}, *b*_{2}, *b*_{ν}, … so definiert, daß *b*_{ν} auch nur gleich *m* oder *w* und von *a*_{μ,ν} *verschieden* sei.

Ist also *a*_{μ,ν} = *m*, so ist *b*_{ν} = *w*, und ist *a*_{μ,ν} = *w*, so ist *b*_{ν} = *m*.

Betrachten wir alsdann das Element

*E*_{0} = ( *b*_{1}, *b*_{2}, *b*_{3}, … ),

von *M*, so sieht man ohne weiteres, daß die Gleichung

*E*_{0} = *E*_{μ}

für keinen positiven ganzzahligen Wert von μ erfüllt sein kann, da sonst für das betreffende μ und für alle ganzzahligen Werte vonν

*b*_{ν} = *a*_{μ,ν} ,

also auch im besondem

*b*_{μ} = *a*_{μ,μ} ,

wäre, was durch die Definition von *b*_{ν} ausgeschlossen ist. Aus diesem Satze folgt unmittelbar, daß die Gesamtheit aller Elemente von *M* sich nicht in die Reihenform: *E*_{1}, *E*_{2}, …, *E*_{ν}, … bringen läßt, da wir sonst vor dem Widerspruch stehen würden, daß ein Ding *E*_{0} sowohl Element von *M*, wie auch nicht Element von *M* wäre.

Dieser Beweis erscheint nicht nur wegen seiner großen Einfachheit, sondern namentlich auch aus dem Grunde bemerkenswert, weil das darin befolgte Prinzip sich ohne weiteres auf den allgemeinen Satz ausdehnen läßt, daß die Mächtigkeiten wohldefinierter Mannigfaltigkeiten kein Maximum haben oder, was dasselbe ist, daß jeder gegebenen Mannigfaltigkeit *L* eine andere *M* an die Seite gestellt werden kann, welche von stärkerer Mächtigkeit ist als *L*.

Sei beispielsweise *L* ein Linearkontinuum, etwa der Inbegriff aller reellen Zahlgrößen *z*, die ≧ 0 und ≦ 1 sind.

Man verstehe unter *M* den Inbegriff aller eindeutigen Funktionen ƒ(*x*), welche nur die beiden Werte 0 oder 1 annehmen, während *x* alle reellen Werte, die ≧ 0 und ≦ 1 sind, durchläuft.

Daß *M keine kleinere* Mächtigkeit hat als *L*, folgt daraus, daß sich Teilmengen von *M* angeben lassen, welche dieselbe Mächtigkeit haben wie *L*, z. B. die Teilmenge, welche aus allen Funktionen von *x* bestellt, die für einen einzigen Wert *x*_{0} von *x* den Wert 1, für alle ändern Werte von *x* den Wert 0 haben.

Es hat aber auch *M nicht gleiche* Mächtigkeit mit *L*, da sich sonst die Mannigfaltigkeit *M* in gegenseitig eindeutige Beziehung zu der Veränderlichen *z* bringen ließe, und es könnte *M* in der Form einer eindeutigen Funktion der beiden Veränderlichen *x* und *z*

φ( *x*, *z* )

gedacht werden, so daß durch jede Spezialisierung von *z* ein Element ƒ(*x*) = φ( *x*, *z* ) von *M* erhalten wird und auch umgekehrt jedes Element ƒ(*x*) von *M* aus φ(*x*, *z*) durch eine einzige bestimmte Spezialisierung von *z* hervorgeht. Dies führt aber zu einem Widerspruch. Denn versteht man unter *g* (*x*) diejenige eindeutige Funktion von *x*, welche nur die Werte 0 oder 1 annimmt und für jeden Wert von *x* von φ(*x*, *x*) verschieden ist, so ist einerseits *g* (*x*) ein Element von *M*, andererseits kann *g* (*x*) durch keine Spezialisierung *z* = *z*_{0} aus φ(*x*,*z*) hervorgehen, weil φ(*z*_{0}, *z*_{0}) von *g* (*z*_{0}) verschieden ist.

Ist somit die Mächtigkeit von *M* weder kleiner noch gleich derjenigen von *L*, so folgt, daß sie größer ist als die Mächtigkeit von *L*. (Vgl. Crelles Journal Bd. 84, S. 242).

Ich habe bereits in den “Grundlagen einer allgemeinen Mannigfaltigkeitslehre” (Leipzig 1883; Math. Ann. Bd. 21) durch ganz andere Hilfsmittel gezeigt, daß die Mächtigkeiten kein Maximum haben; dort wurde sogar bewiesen, daß der Inbegriff aller Mächtigkeiten, wenn wir letztere ihrer Größe nach geordnet denken, eine “wohlgeordnete Menge” bildet, so daß es in der Natur zu jeder Mächtigkeit eine nächst größere gibt, aber auch auf jede ohne Ende steigende Menge von Mächtigkeiten eine nächst größere folgt.

Die “Mächtigkeiten” repräsentieren die einzige und notwendige Verallgemeinerung der endlichen “Kardinalzahlen”, sie sind nichts anderes als die aktual-unendlich-großen Kardinalzahlen, und es kommt ihnen dieselbe Realität und Bestimmtheit zu wie jenen; nur daß die gesetzmäßigen Beziehungen unter ihnen, die auf sie bezügliche “Zahlentheorie” zum Teil eine andersartige, ist als im Gebiete des Endlichen.

Die weitere Erschließung dieses Feldes ist Aufgabe der Zukunft.

Rationale: Every logical argument must be defined in some language, and every language has limitations. Attempting to construct a logical argument while ignoring how the limitations of language might affect that argument is a bizarre approach. The correct acknowledgment of the interactions of logic and language explains almost all of the paradoxes, and resolves almost all of the contradictions, conundrums, and contentious issues in modern philosophy and mathematics.Site MissionPlease see the menu for numerous articles of interest. Please leave a comment or send an email if you are interested in the material on this site.

Interested in supporting this site?You can help by sharing the site with others. You can also donate at

_{}where there are full details.