À la recherche de la genèse du dernier mémoire mathématique de Georg Cantor:

        Du côté de la correspondance entre Cantor et Franz Goldscheider
       (lettre du 18 juin 1886) 

Présentation

Franz Goldscheider (1852-1926) est un « ancien élève » de Cantor, professeur de mathématiques dans un lycée de  Berlin ¹. La lettre de Cantor du 18 juin 1886, dont nous donnons ci-dessous une traduction française², est la première manifestation connue d’un échange entre les deux mathématiciens, qui se poursuivra de 1886 à 1888³. 

Cette première lettre constitue un véritable exposé introductif des fondements de la théorie cantorienne des ensembles, présentant les notions de cardinaux et d'ordinaux et leurs premières manipulations opératoires. Elle sera bientôt suivie d’une autre lettre où Cantor, répondant à certaines questions de son interlocuteur, exprime sa joie :  « da ich so glücklich bin, Ihr Interesse für das mir noch so dunkle Gebiet der zweiten Zahlenklasse erweckt zu haben »⁴ (« car je suis si heureux  d’avoir éveillé votre intérêt pour le domaine encore si obscur pour moi des nombres de la deuxième classe »). À ce propos, Cantor reconnaît suivre la tendance « égoïste » qui consiste à attirer le jeune mathématicien vers une collaboration en un domaine où la finesse de son interlocuteur permet un approfondissement scientifique. Cette attitude deviendra perceptible dans les lettres ultérieures ; les échanges perdront alors leur caractère de « leçon » de maître à élève pour se rapprocher d’une recherche commune.

Afin de mieux comprendre la nature de cette correspondance, il nous faut examiner la situation scientifique de Cantor en cette année 1886. Ce dernier est professeur à l’Université de Halle depuis 1869, où il a succédé à Hermann Schwarz auprès d’Eduard Heine, mais il n’est titulaire que depuis 1879. Une grande partie des recherches qui l’on conduit à l’étude de l’infini mathématique et à la toute récente « théorie des ensembles » est déjà parue dans le Journal für die reine und angewandte Mathematik et dans les Mathematische Annalen. Le monumental mémoire « Über unendliche lineare Punktmannigfaltigkeiten » (« Sur les ensembles infinis linéaires de points ») a été en particulier publié en six parties dans les Mathematische Annalen entre 1879 et 1884. En 1883, le mathématicien suédois Gösta Mittag-Leffler, ami de Cantor, a ouvert la revue Acta Mathematica qu’il dirige à la traduction en langue française de l’essentiel de ces travaux.

Ces traductions ont été effectuées sous la responsabilité d’une équipe française comprenant les mathématiciens Charles Hermite, Henri Poincaré, Paul Appell, Émile Picard. Les Français sont sensibles à la nouvelle vision de la théorie des fonctions que permettent les travaux de Cantor concernant les « ensembles linéaires de points ». Par contre le développement, ébauché dans les Grundlagen⁵, d’une théorie des ensembles abstraits, conduisant aux notions de « type d’ordre » d’un ensemble bien ordonné ou de nombre ordinal transfini, est loin d’entraîner l’adhésion des scientifiques français. Henri Poincaré, qui pourtant utilise les classifications cantoriennes des ensembles infinis de points pour ses propres recherches, critique vertement les Grundlagen pour « le défaut d’exemples un peu concrets » ; de ce fait, les nombres de la deuxième et surtout de la troisième classe ont un peu l’air d’« une forme sans matière »⁶.

Mittag-Leffler n’est pas insensible à ces critiques. Aussi lorsque Cantor lui présente en 1885 un nouveau mémoire intitulé « Principien einer Theorie der Ordnungstypen » (« Principes d’une théorie des types d’ordre ») ⁷, il lui oppose un refus catégorique au prétexte que son travail serait trop en avance sur son époque et il lui conseille de ne pas publier ses travaux avant d’avoir obtenu des résultats positifs liés à la théorie des types d’ordre. Ce refus va entraîner la rupture immédiate entre les deux scientifiques. Cantor se détourne alors pendant près de 10 ans des revues de mathématiques. Il publie essentiellement dans des revues philosophiques, comme le Zeitschrift für Philosophie und philosophische Kritik, et les revues associatives comme le Jahresbericht der Deutschen Mathematiker-Vereinigung (revue de la DMV) et, en France, les Comptes rendus de l’Association française pour l’avancement des sciences (AFAS). L’investissement de Cantor dans la vie associative va le conduire à préparer activement le premier congrès international des mathématiciens (Zurich 1897).

Dans cette recherche d’interlocuteurs scientifiques nouveaux, la correspondance avec Franz Goldscheider prend tout son sens. Cantor veut diffuser sa théorie des ensembles auprès des enseignants nouvellement formés, avec l’espoir d’en faire d’ardents défenseurs des idées fondamentales qu’elle contient. Franz Goldscheider est en ce sens un interlocuteur privilégié. Son intérêt pour les thèses de Cantor, ses interrogations, ses incompréhensions peut-être vont conduire le mathématicien allemand à élucider la présentation assez confuse des transfinis qu’il a adoptée dans les Grundlagen.

Avec la lettre du 18 juin 1886 nous sommes au tout début de ce long processus. Le soin pédagogique de l’auteur est évident. Cantor a-t-il eu vent des critiques de Poincaré ? En tout état de cause la qualité des exemples qu’il avance afin de rendre accessibles ses innovations est digne d’attention. Mais Cantor va au delà du seul souci pédagogique, puisque l’essentiel du raisonnement et des exemples développés dans cette lettre vont se retrouver dans l’article philosophique « Mitteilungen zur Lehre vom Transfiniten » (Communications sur la théorie des transfinis »)⁸ publié en 1887-1888 dans le Zeitschrift für Philosophie und philosophische Kritik.

Les résultats nouveaux auxquels parvient Cantor sur les nombres transfinis de la deuxième classe sont exposés ultérieurement à Goldscheider⁹ au cours de discussions fructueuses, où le jeune berlinois ne se montre pas inactif. Cette élaboration conduira Cantor à la rédaction d’un nouveau mémoire, publié en 1895-1897 dans les Mathematische Annalen : les « Beiträge zur Begründung der transfiniten Mengenlehre » (« Sur les fondements de la théorie des ensembles transfinis »)¹⁰. Ce mémoire, traduit en italien en 1895, en français en 1899, et en anglais en 1915, va consolider le rayonnement international de Cantor.

Avec la lettre ci-dessous, nous sommes donc au cœur d’un processus d’exploration et de recherche, dont les premières expressions sont liées à une correspondance. Cette méthode est privilégiée par Cantor, depuis l’élaboration de la théorie des ensembles effectuée au cours d’un échange épistolaire avec son ami, le mathématicien Richard Dedekind, ainsi que l’a montré l’ouvrage de Jean Cavaillès¹¹. La lettre que nous éditons ici en langue française prouve une fois encore l'importance des correspondances dans la formation d'une pensée mathématique, importance mise en évidence par Pierre Dugac, et permet de reconstituer la genèse du dernier grand mémoire de théorie des ensembles publié par Georg Cantor.

Traduction

                                                                                                                                              Halle le 18 juin 1886

À Monsieur F. Goldscheider, Berlin

I- Étant donné un ensemble (Menge) M déterminé, composé d’objets concrets ou de notions abstraites, que nous appelons éléments, si l’on fait abstraction aussi bien de la nature des éléments que de l’ordre dans lequel ils sont donnés, on obtient une notion générale bien déterminée que j’appelle la puissance (Mächtigkeit) de M ou le nombre cardinal (Cardinalzahl) associé à l’ensemble M.

II- Deux ensembles donnés M et M₁ sont dits équivalents, et notés M ~ M₁, s’il est possible de les mettre en correspondance mutuelle, élément par élément, selon une loi injective et surjective ainsi que sa réciproque (nach einem Gesetz gegenseitig eindeutig und vollständig). Si M ~ M₁ et M₁ ~ M₂, on a aussi M ~ M₂.

Exemples :

1. L’ensemble des couleurs de l’arc en ciel est ~ à l’ensemble des notes d’un octave.

2. L’ensemble des doigts de mes deux mains est ~ à l’ensemble :

                                              b,    c

                                          d,     e,    f

                                      g,     h,      i,     k

3. L’ensemble (γ) de tous les nombres réels entiers positifs est ~ à l’ensemble de tous les entiers complexes (ν + μi), ~ à l’ensemble de tous les nombres réels rationnels (ν / μ), ~ à l’ensemble de tous les nombres algébriques réels ou complexes [Journal de Crelle, vol 77, p. 258]¹². 

4. L’ensemble de tous les points d’une droite AB est ~ à l’ensemble de tous les points d’une autre droite, ~ à l’ensemble des points d’une courbe régulière quelconque, mais aussi ~ à l’ensemble de tous les points d’une surface, d’un volume etc. [Journal de Crelle, vol 84, p. 242]¹³.

III- De I et II on conclut que des ensembles équivalents ont toujours la même puissance, et aussi que, réciproquement, des ensembles qui ont le même nombre cardinal sont équivalents.

IV- Si deux ensembles M et N sont réunis¹⁴ en un ensemble S, et si deux ensembles M₁ et N₁ respectivement équivalents aux deux premiers sont réunis en un ensemble S₁, on a également S ~ S₁. Si l’on désigne par a la puissance des ensembles M et M₁, par a’ celle des ensembles N et N₁, et par b celle des ensembles S et S₁, on exprime la relation entre a, a’ et b par la formule :

                          a + a’ = b.

Ceci constitue la définition de la somme de deux puissances ou de deux nombres cardinaux.

On se convainc aisément que l’on a toujours

                 a + (a’ + a’’) = (a + a’) + a’’

c’est-à-dire que les lois de commutativité et d’associativité sont valables pour l’addition de x nombres cardinaux.

V- Si l’on a un ensemble N de puissance a’, et si l’on remplace chacun de ses éléments par un ensemble de puissance a, on obtient un nouvel ensemble P dont la puissance est désignée par c. On appelle alors c le produit du multiplicande a par le multiplicateur a’, soit :

              a . a’ = c

On démontre que l’on a toujours

             a . a’ = a’ . a

             a . (a’. a’’) = (a . a’) . a’’

Les lois de commutativité et d’associativité sont ainsi également valables pour la multiplication des puissances.

VI- Ces lois fondamentales s’appliquent aussi bien aux ensembles finis qu’aux ensembles infinis actuels, et à leurs puissances ou nombres cardinaux. Pour les nombres cardinaux finis, on voit facilement que dans l’égalité

          a + a’ = b

Mais, en ce qui concerne les nombres infinis actuels, on se convainc que la dernière proposition n’est pas valable.

Pour tout nombre cardinal infini actuel a, on a ainsi par exemple

         1 + a = a

         a + a = a . 2 = a

        a . a = a etc.

Il ne faut y voir aucune contradiction, si l’on se réfère aux définitions de I et II¹⁵. D’une manière générale, pourquoi un ensemble M ne devrait-il pas être soumis au même concept général, à savoir celui de puissance, qu’un ensemble agrandi M + N ?

C’est seulement l’habitude des ensembles finis qui est responsable du fait que, au début, on croit voir des difficultés dans ce résultat. Pourtant il en est ici comme, par exemple, du concept général d’« homme », qui convient à ma personne en cet instant tout aussi bien qu’il y a 40 ans, bien qu’en moi-même j’aie depuis lors beaucoup grandi et bien changé.

VII- Je vous familiarise maintenant avec la notion générale d’ensemble bien ordonné¹⁶, telle qu’elle est définie en page 4 des « Grundlagen » (càd dans la 5^è partie du Mémoire « Über unendliche lineare Punktmannigfaltigkeiten » des Mathematische Annalen, volume 21, p. 548)¹⁷.

Des exemples :

1. (a, b, c, d, e, f, g, h, i, k) est un ensemble bien ordonné au contraire de :

                                                  a

                                              b,    c

                                          d,     e,    f

                                     g,     h,      i,     k

Les deux ensembles sont composés des mêmes éléments, et ont aussi la même puissance.

2. La suite des nombres cardinaux finis rangés selon l’ordre naturel :

  (1, 2, 3, ….., n, ……….)

3. L’ensemble de tous les nombres rationnels positifs rangés dans l’ordre suivant :

(1/1, 1/2, 2/1, 1/3, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 5/1, 1/6, 2/5, 3/4, 4/3, 5/2, 6/1, …)

La loi de rangement est la suivante : deux nombres rationnels m/n et m’/n’ étant donnés sous forme irréductible, le premier d’entre eux occupe un rang inférieur ou supérieur à l’autre selon que m+n est plus petit ou plus grand que m’+n’ ; mais si m+n = m’+n’, la caractéristique du rang est réglée par la grandeur de m et m’.

Pour cet ordre-là, toute partie non vide admet un premier élément. Pour la relation d’ordre usuelle (a < b), cela n’est pas valable : l’ensemble des nombres rationnels de la forme 1/n n’a pas de plus petit élément.

4. (1, 3, 5, 7, 9, … 2, 4, 6, 8, 10, …)

5. (3, 5, 7, 9, 11, … 2, 4, 6, 8, 10, … 1)

Voilà à nouveau l’ensemble de tous les nombres cardinaux finis sous la forme d’ensemble bien ordonné, mais où l’élément 1 occupe le rang le plus élevé.

6. Prenons un système d’éléments munis de deux indices finis illimités :

                                                          a_m,n

et considérons la loi de rangement suivante : deux éléments a_m,n et a_m’,n’ étant donnés, le premier occupe un rang inférieur ou supérieur au deuxième selon que m est plus petit ou plus grand que m’ ; mais si m = m’, la relation d’ordre est déterminée par la grandeur de n et n’ ; ainsi on obtient l’ensemble bien ordonné suivant :

(a_1,1, a_1,2, ……, a_1,n, ……. a_2,1, a_2,2, ……, a_2,n, ……. a_3,1, a_3,2, ……, a_3,n, …….a_m,1, a_m,2, ……, a_m,n,…....a_m+1,1, a_m+1,2,……, a_m+1,n, ………. )

VIII- Si l’on fait abstraction de la nature des éléments d’un ensemble M bien ordonné, mais non de l’ordre qui les affecte, il s’en suit un concept général précis que j’ai désigné dans les « Grundlagen » sous le terme de « nombre (Anzahl) de l’ensemble bien ordonné M », mais que je préfère maintenant appeler « le nombre ordinal (Ordnungszahl) associé à l’ensemble bien ordonné M », ou encore la « forme ou le type de l’ensemble bien ordonné M ».

IX- J’appelle deux ensembles bien ordonnés M et M₁ « semblables » ou « conformes » entre eux, et je note M cf M₁, s’ils se correspondent mutuellement (sont image l’un de l’autre) élément par élément de manière bijective, de telle sorte que l’ordre de deux éléments quelconques de M soit le même que l’ordre des deux éléments correspondants de M₁. Cette correspondance n’est en général possible, si du moins elle l’est, que d’une seule manière, tandis que la correspondance employée pour l’équivalence d’ensembles, telle qu’elle est définie au II, peut se produire de plusieurs façons, lorsque tout du moins elle est possible.

Deux ensembles conformes bien ordonnés sont aussi eo ipso équivalents, et donc de même puissance.

Si l’on a M cf M₁ et M₁ cf M₂, alors on a aussi : M cf M₂.

Exemples :

1. Les ensembles bien ordonnés (a, b, c, d, e, f, g, h, i, k) et (a’, b’, c’, d’, e’, f’, g’, h’, i’, k’) sont conformes ; dans leur application, a est lié à a’, b à b’, … k à k’.

2. Les ensembles bien ordonnés introduits en VII 2 et VII 3 sont conformes¹⁸.

3. Les deux ensembles bien ordonnés :

    (1, 3, 5, 7, ….., 2, 4, 6, 8, …..)    et   (a₂ , a₄ , a₆ , a₈ , ….., a₁ , a₃ , a₅ , a₇ ,…..)

sont conformes par la correspondance dans laquelle 1 doit être lié à a₂ , 3 à a₄ , 5 à a₆ ... etc., 2 à a₁ , 4 à a₃ , 6 à a₅ ... etc. Toute autre bijection entre les deux ensembles (comme par exemple celle qui associe de manière générale à l’entier n du premier l’élément a_n du second) ne remplit pas la condition selon laquelle la relation d’ordre de deux éléments quelconques du premier ensemble est la même que celle des éléments correspondants du second.

 4. Les deux ensembles bien ordonnés :

    (1, 2, 3, ….., n, ……..)  et  (2, 3, 4, ….., n+1, …..)

sont conformes, le deuxième étant une partie du premier ; par contre ces deux ensembles ne sont pas conformes à l’ensemble bien ordonné :

    (2, 3, 4, ……., 1)

bien que ce dernier ensemble soit exactement composé des mêmes nombres que le premier des trois.

Le dernier de ces ensembles bien ordonnés a, pour la relation d’ordre, un plus grand élément , le « dernier », à savoir 1 ; les deux premiers ensembles n’ont pas de « dernier » terme.

X- De VIII et IX résulte le fait que des ensembles bien ordonnés conformes ont le même nombre ordinal, la même forme ou le même type, et aussi que réciproquement des ensembles bien ordonnés de même nombre ordinal sont conformes.

Aux ensembles bien ordonnés

   (1, 2, 3, ….., n, ……..) et  (2, 3, 4, ….., n+1, …..)

revient d’après cela le même nombre ordinal, bien que le deuxième soit une partie seulement du premier ; par contre les deux ensembles bien ordonnés

   (1, 2, 3, ….., n, ……..)  et  (2, 3, 4, ….., n+1, ….., 1)

ont des nombres ordinaux ou des types différents, bien qu’ils soient constitués des mêmes éléments.

XI- Je désigne par ω le type ou le nombre ordinal de l’ensemble bien ordonné 

   (1, 2, 3, ….., n, ……..)

XII- Soit M et N deux ensembles bien ordonnés, de types α et α’, réunis en un nouvel ensemble bien ordonné S, de telle sorte que les éléments de chacun d’entre eux conservent mutuellement leur rang, tandis que la totalité des éléments de M occupe un rang inférieur à la totalité des éléments de N. Ainsi le nombre ordinal β de S est appelé la somme des nombres ordinaux α et α’ de M et de N :

                                                   α + α’ = β

On appelle ici α l’augendus et α’ l’addendus.

En général α + α’ et α’ + α sont différents. Dans le cas où α et α’ sont tous deux finis, on a α + α’ = α’ + α.

Par contre on a toujours α + (α’ + α’’) = ( α + α’) + α’’. Alors que la loi de commutativité cesse en général avec l’addition des nombres ordinaux, la loi d’associativité demeure encore valable pour ceux-ci.

Exemples :

1. 1 + ω = ω ; par contre ω + 1 est différent de ω.

2. Les deux ensembles bien ordonnés qui se trouvent en VII 2 et VII 3 admettent tous deux pour nombre ordinal ω.

3. L’ensemble bien ordonné M qui se trouve en VII 4 admet pour nombre ordinal ω + ω ; celui qui est introduit en VII 5 a pour nombre ordinal ω + ω + 1.

XIII- Si l’on a un ensemble bien ordonné N de type α’, et si l’on remplace chacun de ses élément par un ensemble bien ordonné de type α, il en résulte un nouvel ensemble bien ordonné P, dont le type γ est appelé le produit α . α’ du multiplicande  et du multiplicateur α’.

                                            α . α’ = γ

Dans les « Grundlagen », le multiplicateur a été écrit en premier, suivi du multiplicande, alors que l’écriture contraire est préférable.

Là aussi en général α . α’ est différent de α ’. α ; si α et α’ sont des nombres ordinaux finis, on a α . α’ = α’ . α. Par contre on a toujours

                                           α . (α’ . α’’) = ( α . α’) . α’’

Par exemple si α = ω , α’ = 2 :

N est de la forme (a, b). À la place de a, on met (a₁, a₂, ……, a_n, …..) de type ω , à la place de b, on met (b₁, b₂, ……, b_n, …...) de type ω, et on obtient l’ensemble bien ordonné P :

(a₁, a₂, ……, a_n, …... b₁, b₂, ……, b_n, ……)  dont le type est ω . 2.

Mais si l’on prend α = 2 , α’ = ω, l’ensemble N est de la forme (r₁, r₂, ……, r_n, …..) et, à la place de r_n on met l’ensemble bien ordonné (p_n, q_n) de type 2, et l’on obtient P :

(p₁, q₁, p₂, q₂, ........, p_n, q_n, .......) de type 2 . ω.

Mais le dernier ensemble est de type ω, ainsi on conclut que

                                2 . ω = ω

Les nombres ω + ω  et ω + ω + 1, rencontrés en XII 3, peuvent maintenant s’écrire ω . 2 et ω . 2 + 1.

À l’exemple d’ensemble bien ordonné donné en VII 6 revient maintenant de toute évidence le nombre ordinal

                               ω . ω = ω ²

XIV- La puissance de l’ensemble de tous les nombres [entiers] finis est la plus petite des puissances, de même que ω est le plus petit nombre ordinal transfini ; j’appelle cette puissance la première puissance transfinie ou plus simplement la première puissance et je la désigne par :

                                                         ω*,

de même que l’on désigne, d’une manière générale, par α* la puissance attribuée à un ensemble bien ordonné de type α. On a alors manifestement :

(ω + 1)* = (ω + 2)* = ................= ω*

ou encore :

(ω . 2)* = (ω . 2 + 1)* = (ω . 2 + 2)* =................= ω*

(ω ²)* = ω*.

Il apparaît ainsi que, dans la formation des nombres ordinaux

ω , ω + 1, ω + 2, ..............., ω . 2, ω . 2 + 1, ..................

les puissances correspondantes demeurent avant tout les mêmes.

XV- La collection (Inbegriff) de tous les nombres ordinaux, qui sont des types d’ensembles bien ordonnés de puissance ω*, je l’appelle la deuxième classe de nombres :

ω , ω + 1,..., ωⁿ m₀ + ω^n-1 m₁ +...+ ω m_n-1 + m_n, ..., , … , ...

Dans son ordre naturel la deuxième classe de nombres forme elle-même un ensemble bien ordonné, dont j’appelle le type Ω ; Ω est le plus petit nombre de la troisième classe. Cependant la puissance Ω* de la deuxième classe de nombres n’est pas à nouveau égale à ω*, mais, comme je l’ai prouvé dans le § 13 des « Grundlagen »¹⁹, c’est la puissance immédiatement supérieure à ω*.

XVI- Alors que les nombres ordinaux finis suivent les mêmes lois que les nombres cardinaux finis (c’est la raison pour laquelle leur distinction n’est pas apparue de façon très nette dans la théorie des nombres jusqu’à présent), la différence entre les cardinaux transfinis et les ordinaux transfinis s’exprime de manière la plus décisive et la plus claire.

                                               Georg Cantor

Bibliographie

ŒUVRES DE CANTOR

[1874] Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Journal für die reine und angewandte Mathematik, 77 (1874), p. 258-262 ; in [Cantor 1932, p. 115-118].

[1878] Ein Beitrag zur Mannigfaltigkeitslehre, Journal für die reine und angewandte Mathematik, 84 (1878), p. 242-258 ; in [Cantor 1932, p. 119-133]. Traduction française : «Une contribution à la théorie des ensembles », Acta Mathematica, 2 (1883), p. 311-328.

[1883a] Über unendliche lineare Punktmannigfaltigkeiten, Part V, Mathematische Annalen, 21 (1883), p. 545-591 ; in [Cantor 1932, p. 165-209]. Traduction française : [Cantor 1883c].

[1883b] Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen, Leipzig : B. Teubner, 1883.

[1883c] Fondements d’une théorie générale des ensembles, Acta Mathematica, 2 (1883), p. 381-408.

[1887-1888] Mitteilungen zur Lehre vom Transfiniten, Zeitschrift für Philosophie und philosophische Kritik, 91 (1887), p. 81-125 et 252-270 ; 92 (1888), p. 240-265 ; in [Cantor 1932, p. 378-439].

[1895-1897] Beiträge zur Begründung der transfiniten Mengenlehre, Mathematische Annalen, Partie I, 46 (1895), p. 481-512 ; Partie II, 49 (1897), p. 207-246 ; in [Cantor 1932, p. 282-356]. Traduction française : [Cantor 1899a ou 1899b].

[1899a] Sur les fondements de la théorie des ensembles transfinis, traduction F. Marotte, Mémoires de la Société des Sciences Physiques et Naturelles de Bordeaux, 5^e série, tome 3 (1899), p. 343-437 ; édité sous forme de brochure [Cantor1899b].
 

[1899b] Sur les fondements de la théorie des ensembles transfinis, traduction F. Marotte, Paris : Hermann, 1899.

[1932] Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, mit erläutern den Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor-Dedekind, herausgegeben von Ernst Zermelo und Adolf Fraenkel, Berlin : Springer, 1932.

[1991] Georg Cantor Briefe, voir [Meschkowski, Nilson 1991].

AUTRES OUVRAGES

CAVAILLÈS Jean
[1962] Philosophie mathématique, Paris : Hermann, 1962. 

DÉCAILLOT Anne-Marie
[2008] Cantor et la France. Correspondance du mathématicien allemand avec les Français à la fin du XIX^è siècle, Paris : Kimé, 2008.

DUGAC Pierre
[1976] Des correspondances mathématiques des XIX^e et XX^e siècles, Revue de Synthèse, 97 (1976), n. 81-82, p. 149-170

MESCHKOWSKI Herbert
[1961] Denkweisen grosser Mathematiker. Ein Weg zur Geschichte der Mathematik. Braunschweig : Vieweg, 1961 ; 2^è édition revue et enrichie 1990.