Paradoxe de Burali-Forti
723133
31702965
2008-07-19T11:54:47Z
Sherbrooke
18624
Raccourcir.
En [[mathématiques]] le '''paradoxe de [[Cesare Burali-Forti|Burali-Forti]]''', paru en 1897, désigne une construction qui, conduit dans certaines [[théorie des ensembles|théories des ensembles]] ou [[théorie des types|théories des types]] trop naïves à une [[antinomie]], c’est-à-dire que la théorie est contradictoire (on dit aussi incohérente ou inconsistante). Dit brièvement, il énonce que, comme on peut définir la borne supérieure d'un ensemble d'[[ordinal|ordinaux]], si l'ensemble de tous les ordinaux existe, on peut définir un ordinal supérieur strictement à tous les ordinaux, d'où une contradiction.
L'argument utilise donc la notion d'[[ordinal]], c’est-à-dire essentiellement celle de [[bon ordre]] : il est plus technique, bien que l'argument ne soit pas si éloigné, de celui du [[paradoxe de Russell]], qui est plus simple à comprendre et à formaliser. Cependant, le paradoxe de Burali-Forti est le premier des paradoxes de la théorie des ensembles à être publié, six ans avant le paradoxe de Russell, et [[Georg Cantor]] en fait état dans sa correspondance, ainsi que du [[paradoxe de Cantor|paradoxe du plus grand cardinal]] (dit de Cantor), dans les mêmes années. Par ailleurs, le paradoxe de Burali-Forti met directement en jeu la notion d'ordre, et non celle d'appartenance (même si aujourd'hui ces deux notions coïncident pour les ordinaux tels qu'il sont définis en théorie des ensembles). Ainsi l'incohérence de certaines théories a été établie en dérivant directement le paradoxe de Burali-Forti<ref>sachant que si une contradiction est démontrable, tout est démontrable</ref>. C'est ainsi que [[John Barkley Rosser]] a démontré en 1942 l'inconsistance de la première version des ''New Foundations''<ref>Une théorie des ensembles pour laquelle on ne sait, dans sa version corrigée, démontrer de relation de cohérence avec les théories usuelles comme [[ZFC]].</ref> de [[Willard Van Orman Quine]].
== Énoncé du paradoxe ==
Le paradoxe utilise la notion d'[[ordinal]] une généralisation de la notion de nombre entier naturel, en tant qu'il représente un [[bon ordre]]. À tout bon ordre on associe un et un seul ordinal qui a la « même » structure d'ordre<ref>La définition des ordinaux de von Neumann n'est pas connue à l'époque où [[Cesare Burali-Forti|Burali-Forti]], et [[Georg Cantor|Cantor]], puis [[Bertrand Russell|Russell]] et bien d'autres se sont tout d'abord intéressés à ce paradoxe.</ref>. Les entiers sont les ordinaux finis. L'ensemble des entiers naturels est bien ordonné, et son ordinal est noté usuellement ω. La notion de nombre ordinal diffère de celle de [[nombre cardinal]] dès que l'on passe à l'infini (des ordinaux infinis distincts peuvent avoir même cardinal).
Pour des raisons qui tiennent à la notion même d'ordinal, on sait qu'un ensemble d'ordinaux est lui-même bien ordonné de façon naturelle. Si on admet que l'ensemble de tous les ordinaux existe, on montre, qu'à cause de propriétés de clôture que vérifierait forcément un tel ensemble, l'ordinal correspondant à ce bon ordre serait strictement supérieur à celui de chacun de ses éléments. On est donc face à une contradiction : l'ordinal associé doit être strictement supérieur à lui-même.
== Les raisons du paradoxe ==
Pour en dire plus, on est obligé d'être un peu plus précis sur les propriétés des [[bon ordre|bons ordres]] et des ordinaux. Tout d'abord on peut définir une notion d'isomorphisme d'ordre. Deux ensembles bien ordonnés (''A'', <<sub>''A''</sub>) et (''B'', <<sub>''B''</sub>) sont isomorphes s'il existe une [[bijection]] ''f'' de ''A'' dans ''B'', qui transporte telle quelle la structure d'ordre, c’est-à-dire une bijection croissante de ''A'' dans ''B'' :
:''x'' <<sub>''A''</sub> ''y'' ⇔ ''f''(''x'') <<sub>''B''</sub> ''f''(''y'') .
Un ordinal est, si l'on veut, un bon ordre « à isomorphisme près », on parle parfois de ''type d'ordre''. Sans entrer dans des détails formels, Les ordinaux doivent être définis de façon que pour tout bon ordre, il existe un et un seul ordinal isomorphe à ce bon ordre.
Une notion utile sur les bons ordres, qui va permettre de les comparer, est celle de ''section commençante'' ou ''segment initial''. On appelle ''section commençante'' ou ''segement initial'' d'un ensemble ordonné (''E'', <) (on choisit l'ordre strict) un sous-ensemble ''F'' de ''E'', qui, s'il contient un élément de ''E'', contient tous les éléments plus petits :
:''x'' ∈ ''F'' ⇒ (∀ ''y'' < ''x'') ''y'' ∈ ''F'' .
Une ''section commençante propre'' de (''E'', <) est une section commençante non vide et différente de l'ensemble ''E''. Une section commençante non vide d'un ensemble bien ordonné est bien ordonnée par l'ordre restreint à celle-ci. Pour comparer deux bons ordres, on pourra dire qu'un ensemble bien ordonné (''A'', <<sub>''A''</sub>) est strictement inférieur à un ensemble bien ordonné (''B'', <<sub>''B''</sub>), quand (''A'', <<sub>''A''</sub>) est isomorphe à une section commençante propre de (''B'', <<sub>''B''</sub>). Cette relation est un [[relation d'ordre#Relation d'ordre strict|ordre strict]], elle est transitive, par composition des deux morphismes en jeu, et [[réflexivité|irréflexive]].
:'''Proposition (irreflexivité).''' Un ensemble bien ordonné ne peut être isomorphe à une de ses sections commençantes propres.
Cette proposition se démontre par induction sur le bon ordre en jeu (c’est-à-dire essentiellement en utilisant la définition même de bon ordre).
Une propriété essentielle, dûe à Cantor, est celle de ''trichotomie''. Elle énonce que, si l'on restreint l'ordre strict précédent aux ordinaux, il définit un ordre total (ou qu'il définit un ordre total sur les bons ordres à isomorphisme près, ce qui revient au même).
:'''Proposition (trichotomie).''' Étant donnés deux ensembles bien ordonnés (''A'', <<sub>''A''</sub>) et (''B'', <<sub>''B''</sub>),
:* soit (''A'', <<sub>''A''</sub>) est isomorphe à une section commençante propre de (''B'', <<sub>''B''</sub>),
:* soit (''A'', <<sub>''A''</sub>) est isomorphe à (''B'', <<sub>''B''</sub>),
:* soit (''B'', <<sub>''B''</sub>) est isomorphe à une section commençante propre de (''A'', <<sub>''A''</sub>).
: et ces trois cas sont exclusifs.
Cette propriété se démontre en utilisant le principe de ''définition par induction'' sur un bon ordre.
On a donc montré comment définir un ordre total sur un ensemble d'ordinaux : un ordinal α est strictement inférieur à un ordinal β s'il est isomorphe à une section commençante propre de β. Mais de plus cet ordre est un bon ordre. En effet soit ''A'' un ensemble non vide d'ordinaux, Soit α un élément de ''A''. On montre que l'ensemble des ordinaux de ''A'' inférieurs ou égal à α est, à isomorphisme près, inclus dans α donc a un plus petit élément qui est le plus petit élément de ''A''.
:'''Proposition (plus petit élément).''' Tout ensemble d'ordinaux non vide a un plus petit élément.
Un ensemble d'ordinaux est donc naturellement bien ordonné : tous ses sous-ensembles non vides ont bien un plus petit élément. On peut dériver le paradoxe de Burali-Forti, restreint à cet ensemble, en lui demandant de vérifier ces deux propriétés de clôture (la première suffirait en fait) :
*Un ensemble d'ordinaux ''est clos par le bas'' si, quand il contient un ordinal, contient tous les ordinaux qui lui sont inférieurs (c'est une autre façon de parler de section commençante).
*Un ensemble d'ordinaux ''est clos par successeur'' s'il contient le successeur de chacun de ses éléments.
Un successeur d'un bon ordre (''E'', <) est un bon ordre obtenu en ajoutant « au bout » de ''E'' un nouvel élément, soit ''e'', c’est-à-dire que tout élément de ''E'' est strictement inférieur à ''e''. Il est par définition strictement supérieur au bon ordre (''E'', <). Tous les bons ordres successeurs de (''E'', <) sont bien-sûr isomorphes, et on peut donc définir ''le'' successeur d'un ordinal.
La première propriété assure que le bon ordre obtenu sur l'ensemble d'ordinaux est supérieur ou égal à tous ses éléments, la seconde que, s'il vérifie aussi la première, il leur est strictement supérieur, puisqu'il est supérieur au successeur de chacun de ses éléments.
L'ensemble de tous les ordinaux vérifierait forcément ces deux propriétés de clôture, donc ne peut exister sous peine de paradoxe. Or la propriété « être un ordinal », doit pouvoir se définir formellement. Une utilisation non restreinte du [[schéma d'axiomes de compréhension]] conduit donc à une contradiction.
== Solution dans la théorie des ensembles de Zermelo-Fraenkel ==
Tout comme pour le [[paradoxe de Russell]], dont il a d'ailleurs d'une certaine façon la structure logique (il s'agit d'un raisonnement diagonal), le paradoxe de Burali-Forti se résout en restreignant le [[schéma d'axiomes de compréhension]]. Si l'on suit la définition naturelle d'ordinal, on le définirait comme une classe d'isomorphie de bons ordres pour l'isomorphisme d'ordre décrit au paragraphe précédent. Mais, à cause de la restriction du schéma de compréhension, une classe d'isomorphie n'est pas un ensemble. La classe d'isomorphie de l'ordre à un élément regroupe déjà tous les singletons (muni de la relation vide comme ordre strict). Par [[axiome de la réunion]], on aurait l'ensemble de tous les ensembles, donc le paradoxe de Russell par le schéma de compréhension.
Cependant, il est possible de construire de façon uniforme un représentant par classe d'isomorphie : ce sont les [[ordinal|ordinaux de von Neumann]]. On peut alors définir dans le langage de la théorie des ensembles la propriété « être un ordinal » (un ordinal de von Neumann est un [[ensemble transitif]] bien ordonné par l'appartenance). On peut donc parler de la [[classe (mathématiques)|classe]] des ordinaux. Il n'y a plus de contradiction, le paradoxe de Burali-Forti se traduit en :
:''la classe des ordinaux est une classe propre''.
== Aspects historiques ==
Le paradoxe de [[Cesare Burali-Forti|Burali-Forti]] a été publié pour la première fois dans un article de cet auteur de 1897, mais sous une forme différente de celle décrite ci-dessus. Tout laisse penser cependant que [[Georg Cantor|Cantor]] connaissait ce paradoxe à une date antérieure. Les dates de 1895, ou une lettre à [[David Hilbert]] de 1896 sont souvent citées en référence. Il semble que ce soit [[Philip Jourdain]] qui les ait le premier avancées<ref>dans un article de 1904, ''On the transfinite Cardinal Numbers of well-ordered aggregates'', philosophical magazine vol. 60.</ref>. On cite souvent un article<ref> [http://www.digizeitschriften.de/index.php?id=loader&tx_jkDigiTools_pi1%5bIDDOC%5d=361589&L=2 Felix Bernstein ''Über die Reihe der transfiniten Ordnungszahlen'' Mathematische Annalen 60, 1905.]</ref> paru en 1905 de [[Felix Bernstein]], qui était étudiant de Cantor, mais celui-ci se réfère à Jourdain. Par exemple [[Jean Cavaillès]] cite<ref>Philosophie mathématique</ref> Bernstein. Même si ces dates sont vraisemblables, aucune lettre de 1896 n'a été retrouvée<ref>Selon certains historiens, Jourdain, qui se fonde sur une lettre que lui a envoyée Cantor, aurait pu prendre ses indications de façon trop précise, et la lettre en question pourrait être celle de 1897, qui ne donne pas exactement un exposé du paradoxe de Burali-Forti, voir Meschkowski et Nilson, ''Georg Cantor Briefe'' p389.</ref>. Dans une lettre à Hilbert de 1897<ref>voir référence, ''Georg Cantor Briefe'' pp 388-389.</ref>, Cantor donne son explication du paradoxe du plus grand cardinal, mais en faisant référence à la série des aleph, indexés par les ordinaux. On peut donc penser qu'il connait aussi le paradoxe de Burali-Forti, d'autant que la lettre témoigne de l'état avancé de sa réflexion à ce sujet. Quoiqu'il en soit, à la fin des années 1890, à Göttingen, le paradoxe de Burali-Forti, et l'analyse qu'en fait Cantor sont connus de Hilbert et son entourage, dont Zermelo.
=== Burali-Forti ===
Burali-Forti déclare, dès la première phrase de sa note de 1897, que l'objet principal de celle-ci est de montrer qu'il existe des nombres transfinis qui ne sont pas comparables, c’est-à-dire la négation de la propriété de trichotomie (voir ci-dessus) démontrée par Cantor et publiée la même année, quelques mois après la note de Burali-Forti. Pour prouver ce résultat Burali-Forti introduit la notion d’''ensemble parfaitement ordonné'', qu'il pense, à tort, être plus forte que celle d'ensemble bien ordonné (introduite par Cantor en 1883)<ref>La notion de bon ordre n'est pas encore bien établie à l'époque, van Heijenoort signale (voir références, préface de l'article) que [[Jacques Hadamard]], un peu plus tard la même année, donne encore une définition erronée de bon ordre, lors d'une communication au premier congrès international des mathématiciens.</ref>. Il définit ensuite les ordinaux, en tant que types d'ordre d'ensembles parfaitement ordonnés. Il ordonne ainsi la classe de ses « ordinaux » : un ensemble ordonné (''A'', <<sub>''A''</sub>) est strictement plus petit qu'un ensemble ordonné
(''B'',<<sub>''B''</sub>), s'il existe une injection croissante de (''A'', <<sub>''A''</sub>) dans (''B'',<<sub>''B''</sub>), mais pas de bijection croissante, ce qui pour les « vrais » ordinaux, équivaut à l'ordre par section commençante décrit ci-dessus. Puis il montre que, si l'on suppose que cet ordre est total (propriété de trichotomie), alors la classe des « ordinaux » (en son sens) est parfaitement ordonnée. On ne peut faire de raisonnement par induction sur un ordre parfait, cependant cette notion suffit pour que Burali-Forti puisse montrer que les ordinaux tels qu'il les a défini, ne sont pas isomorphes à une de leur section commençante propre, alors que ceci est faux pour les ordres totaux en général, et, comme il le remarque lui-même, pour ce qu'il croit être les bons ordres (sous une forme un peu différente). Cependant, comme Burali-Forti pense que les ordres parfaits sont des bons ordres, il peut tout de même en déduire que la propriété de trichotomie est fausse a fortiori pour ceux-ci.
Le raisonnement de Burali-Forti est donc bien celui décrit ci-dessus, même si celui-ci ne l'applique pas à la bonne notion, et en tire donc une conclusion fausse pour les « vrais » bons ordres, mais juste pour les ordres parfaits, ou ce qu'il croit être les bons ordres. Les ordinaux de Burali-Forti, qui sont associés aux ordres parfaits, ne sont effectivement pas totalement ordonnés. Simplement sa preuve ne peut être considérée comme acceptable, elle ne peut se formaliser dans une théorie des ensembles raisonnable, puisqu'elle se transposerait telle quelle aux vrais ordinaux, pour lesquels le résultat est faux.
Dans une note de quelques lignes parue la même année dans la même revue (voir références), Burali-Forti fait lui-même remarquer qu'il s'est trompé dans sa définition de bon ordre, et que la notion d'ordre parfait est en fait plus faible que celle de bon ordre au sens de Cantor. Curieusement, il n'en tire aucune conclusion, si ce n'est que « le lecteur pourra vérifier quelles propositions dans ma note [...] sont également vérifiées par les classes bien ordonnées ». Cependant son raisonnement, comme déjà dit, s'applique sans aucun problème aux bons ordres, et donc aux ordinaux au sens de Cantor, et il semble que cela fut clair assez rapidement pour les mathématiciens qui s'intéressaient à ces problèmes, ce qui fait bien du paradoxe de Burali-Forti le premier paradoxe connu de théorie des ensembles, nonobstant le fait qu'il pourrait être connu de Cantor avant 1897.
==== Les définitions utilisées par Burali-Forti ====
Les ordres parfaits ne semblent guère avoir survécu à la note de Burali-Forti. Cette notion est de toute façon clairement moins utile que celle de bon ordre, et de principe d'induction qui lui est associé. Les définitions qui suivent n'ont donc essentiellement qu'un intérêt historique. On ne suit pas exactement la terminologie de Burali-Forti, même si elle resterait assez compréhensible pour un lecteur moderne.
Appelons ''successeur'' d'un élément dans un ensemble totalement ordonné le plus petit des majorants stricts de cet élément : il n'existe pas forcément, mais s'il existe il est bien unique. De façon analogue, appelons ''prédécesseur'' d'un élément le plus grand des minorants stricts (s'il existe) de cet élément<ref>Burali-Forti dit prédécesseur et successeur pour minorant et majorant, prédécesseur immédiat et successeur immédiat pour prédécesseur et successeur.</ref>.
Burali-Forti pense erronément qu'un ensemble bien ordonné (''E'',<) est un ensemble totalement ordonné qui satisfait les deux propriétés suivantes :
* (''E'',<) a un plus petit élément
* Tout élément de (''E'',<) qui possède un majorant strict possède un plus petit majorant strict, c’est-à-dire un successeur.
Pour définir les ensembles parfaitement ordonnés, il ajoute une troisième propriété :
* Tout élément de ''E'' est le successeur itéré un nombre fini de fois, éventuellement nul, d'un élément qui n'a pas de prédécesseur.
Pourquoi introduire cette troisième propriété ? Burali-Forti donne un exemple d'ordre qui satisfait les deux premières mais pas la suivante : il suffit de mettre bout à bout une copie des entiers, suivie d'une copie dans l'ordre inverse, {0}×'''N''' ∪ {1}×'''Z<sub>-</sub>''' [[ordre lexicographique|ordonné lexicographiquement]] pour être formel. Si l'on prend le successeur de cet ordre, celui obtenu en ajoutant un élément « au bout », {0}×'''N''' ∪ {1}×('''Z<sub>-</sub>''' ∪ {1}) pour être formel, on obtient un ordre isomorphe. On ne peut donc espérer montrer l'irreflexivité de l'ordre de comparaison entre ensembles ordonnés défini par section commençante, et même si ce n'est pas celui-ci que Burali-Forti utilise, il a tout de même besoin de pouvoir construire un majorant strict.
Par contre l'exemple ci-dessus ne satisfait pas la troisième propriété. Dès que la troisième propriété est vérifiée, un ordre ne peut être isomorphe à son successeur. En effet soit l'ordre initial n'avait pas de plus grand élément, mais alors l'ordre successeur en a forcément un, soit il avait un plus grand élément et on a le résultat par récurrence ordinaire (sur les entiers) sur le nombre d'itérations nécessaire pour se ramener à un élément sans prédécesseur (il faut une itération de plus pour l'ordre successeur). Ceci montre donc que le successeur d'un ensemble parfaitement ordonné est un majorant strict, propriété qui suffit pour l'argument de Burali-Forti (qui rappelons-le raisonne par l'absurde, en supposant la propriété de trichotomie).
Un bon ordre est un ordre parfait : s'il ne l'était pas la suite des prédécesseurs itérés d'un élément donnerait un ensemble sans plus petit élément. Un ordre est parfait quand chaque élément vit, en quelquesorte, dans une copie des entiers naturels, et quand il y un plus petit élément. Ce n'est pas suffisant pour assurer la propriété de bon ordre, car rien n'indique que ces copies des entiers soient elles-mêmes bien ordonnées. Par exemple en ajoutant un plus petit élément à '''Z''' × '''N''' (ordonné lexicographiquement), on obtient un ordre parfait qui n'est pas un bon ordre.
=== Cantor ===
On trouve le paradoxe de Burali-Forti (le nom de ce dernier n'est pas cité) expliqué de façon particulièrement lumineuse dans deux lettres de [[Georg Cantor]] à [[Richard Dedekind|Dedekind]] datées de 1899<ref>voir références, les deux lettres, du 28.7.99 et du 3.8.99 sont réunies en une seule par Zermelo dans son édition des oeuvres de Cantor, et traduites ainsi dans ''Philosophie mathématique'' et ''A source book in mathematical logic''.</ref>. Cantor en donne une solution, qui, si elle n'est pas vraiment satisfaisante d'un point de vue axiomatique, est compatible avec l'[[ZFC|axiomatisation ultérieure]] de la théorie des ensembles.
Cantor distingue deux sortes de ''multiplicités définies'' [{{de}}bestimmte Vielheit] que nous appellerions aujourd'hui [[classe (mathématiques)|classes]].
* Les multiplicités dont l'existence aboutit à une contradiction, qu'il appelle ''multiplicités inconsistantes'' [{{de}}inconsistente Vielheit] ou ''absolument infinies'' [{{de}}absolut unendliche Vielheit], et que nous appellerions aujourd'hui ''classes propres'', avec une définition précise et formelle cependant, ce qui n'est pas le cas de la définition de Cantor.
* Les multiplicités dont « la totalité des éléments [...] peut être pensée sans contradiction comme étant réunies [...] en "une seule chose" » qu'il appelle ''multiplicités consistantes'' ou ''ensembles''<ref>Cantor précise les traductions en français et en italien de ce terme dans sa lettre</ref> [{{de}}Menge], qui correspondent à ce que nous appelons toujours [[ensemble]]s aujourd'hui.
Cantor appelle Ω le système de tous les ordinaux<ref>L'argument est ici légèrement simplifié car Cantor ne considère pas 0 comme ordinal, et commence ceux-ci à 1.</ref>. Il rappelle la propriété de trichotomie, et le fait que toute partie non vide de Ω a un plus petit élément. Comme un ordinal a même type d'ordre (est isomorphe) à l'ensemble des ordinaux qui lui sont strictement inférieurs, il en déduit que si Ω était un ensemble, donc un ordinal, il serait strictement supérieur à lui-même, d'où une contradiction. Pour Cantor, la classe de tous les ordinaux, Ω, est donc une multiplicité inconsistante, ou absolument infinie, c’est-à-dire peu ou prou [[#Solution dans la théorie des ensembles de Zermelo-Fraenkel|l'interprétation du paradoxe de Burali-Forti dans la théorie des ensembles de Zermelo-Fraenkel]].
La distinction entre mutiplicités consistantes et inconsistantes, si elle n'est pas très formelle, n'est pas une notion amorphe et entièrement ad hoc : Cantor énonce une propriété dont Van Heijenoort remarque qu'elle est une version du [[schéma d'axiomes de remplacement]], à savoir que deux multiplicités équivalentes, c’est-à-dire en bijection, sont soit toutes deux des ensembles, soit toutes deux inconsistantes. Cantor l'utilise pour montrer que la classe des alephs, la série des cardinaux indexés par les ordinaux, est également inconsistante, ce qui est connu sous le nom de paradoxe du plus grand cardinal, ou [[paradoxe de Cantor]]<ref>Il faut aussi l'[[axiome du choix]] si l'on veut formaliser complètement le raisonnement de Cantor</ref>. Cependant, se pose le problème de savoir comment déterminer si une multiplicité bien définie est consistante. Cantor pose lui-même la question dans une lettre à Dedekind d'août 1899<ref>voir ''Philosophie mathématique''</ref> : « ... on doit se demander d'où je sais que les multiplicités bien ordonnées ou suites auxquelles j'assigne les nombres cardinaux ... sont réellement des "ensembles" ». Cantor propose d'introduire de nouveaux axiomes dans le cas des cardinaux. Mais en l'absence par ailleurs d'une axiomatisation de la théorie des ensembles, cela semble difficile d'aller très loin dans cette voie.
== Articles connexes ==
*[[Paradoxe de Russell]]
*[[Paradoxe de Cantor]]
*[[Paradoxe de Richard]]
*[[Paradoxe de Berry]]
== Notes ==
<references />
== Sources ==
* [[Cesare Burali-Forti]] (1897) ''Una questione sui numeri transfiniti'', Rendiconti del Circolo mathematico di Palermo 11 pp 154-164, ''sulle classi ben ordinate'', ibid, p 260, {{en}}traductions en anglais de l'article de Burali-Forti de 1897 et de son addendum dans ''A source Book in Mathematical Logic 1879-1931'', pp 104-112, avec une préface de [[Jean van Heijenoort]].
* {{de}}[[Georg Cantor]] (1899) ''Aus dem Briefwechsel zwischen Cantor und Dedekind'' (extraits de la correspondance entre Cantor et Dedekind) dans le volume édité par Zermelo en 1932, {{en}}traduction anglaise partielle dans ''A source Book in Mathematical Logic...'' pp 113-117.
*{{de}}[[Georg Cantor]] ''Gesammelte Abhandlungen mathematischen und philosophischen Inhalts.'' édité par [[Ernst Zermelo]]. Berlin: Springer 1932. (Reprint: Springer, 1980.) – [http://philosophons.free.fr/philosophes/cantor1932.pdf]. -88mb!.
*{{de}}''[[Georg Cantor]] Briefe'', Herbert Meschkowski et Winfried Nilson (ed.), Springer 1991 ISBN 3-540-50621-7.
* {{en}} [[Bertrand Russell]] (1903), ''The principles of mathematics'', vol 1, Cambridge Univ. Press, ([http://fair-use.org/bertrand-russell/the-principles-of-mathematics version en ligne disponible], <small>incomplète au 4 janvier 2007</small>), en fac simile sur le [http://quod.lib.umich.edu/cgi/b/bib/bibperm?q1=AAT1273 site de l'université du Michigan].
* {{en}} ''A source Book in Mathematical Logic 1879-1931'', Heijenoort J. van (ed.), (Harvard Univ. Press, Cambridge, 1967), ISBN 0-674-32450-1, ISBN 0-674-32449-8.
* [[Jean Cavaillès]], ''Philosophie mathématique'', Hermann 1962, contient, entre autres, les ''Remarques sur la formation de la théorie abstraite des ensembles'' de 1938, et une traduction de la correspondance Dedekind-Cantor qui avait été rassemblée et publiée par Jean Cavaillès et Emmy Noether en 1937.
* Ivor Grattan-Guiness ''The rediscovery of the Cantor-Dedekind Correspondence'', Jahresbericht der Deutschen Mathematiker-Vereinigung Volume 76 (1974) [http://www.digizeitschriften.de/home/services/pdfterms/?ID=516899 version en ligne].
* Paul R. Halmos -- ''Introduction à la théorie des ensembles'', Mouton/Gauthier-Villars Ed., 1967 (traduction de ''Naive Set Theory'', Van Nostrand, 1965).
*{{en}} Justin T Miller -- ''An historical account of set-theoretic antinomies caused by the axiom of abstraction [http://www.u.arizona.edu/~miller/finalreport/finalreport.html]'' <small>visitée le 24/09/2006</small>
{{Portail mathématiques}}
[[Catégorie:Paradoxe de la théorie naïve des ensembles|Burali-Forti]]
[[cs:Burali-Fortiho paradox]]
[[de:Burali-Forti-Paradoxon]]
[[en:Burali-Forti paradox]]
[[it:Paradosso di Burali-Forti]]
[[ja:ブラリ=フォルティのパラドックス]]
[[ko:부랄리-포르티 역설]]
[[pl:Paradoks Burali-Forti]]
[[pms:Paradòss ëd Burali-Forti]]
[[ru:Парадокс Бурали-Форти]]
[[zh:Burali-Forti悖论]]