ANALYSE MATHÉMATIQUE. Sur la théone des ensembles.
Note de M. JULES Konig, présentée par M. H. Poincaré. La nouvelle démonstration du théorème d'équivalence de M. Cantor que je veux donner dans ces lignes a, comme je crois, une importance assez grande, vu la discussion actuelle sur les fondements de la logique,de l'arithmétique et de la théorie des ensembles. Je ne voulais la donner que dans l'exposition de la Logique synthétique, que j'espère publier bientôt et que j'ai déjà donnée dans mon cours de cette année. Mais l'intérêt qu'on prend aujourd'hui à ces choses me fait publier cette Note La critique spirituelle et profonde de M. Poincaré (voir la Revue de Métaphysique et de Morale, mai 1906) est irréfutable, à ce que je crois, dans ses parties négatives. Ce que nous possédons jusqu'à présent était peut-être nécessaire pour le développement de la nouvelle science logique mais certainement cela ne donne pas ce que nous cherchons les bases de cette nouvelle science.
Quant au théorème cité, énoncé pour la première fois par M. Cantor et démontré après par MM. Bernstein, Schrôder et Zermelo, il nous faudrait le mettre en évidence, sans employer le concept de nombre.
i. ~K. i. X. i. X.
t.b.v. 8867,9 1 go32,2 5 d. 9175,5 5 1 8929,9 2 9o42>8 3 9180,4 0,5 8932,1 1 2 go53,4 2- d. 9190,6 o,5 8941, 4 3 à.' 9062,3 i,5d. 9207,0 1 d.? 8947,6 3 9070,4 3 92i4,4 2 d. 8900,0 4 9O73,7 3- 9217,4 3 8962,0 5 9080,8 8 1 9230,9 3 8966,3 4 9087,8 2 '9239,3 3 8972,6 2 9094,9 2 9240,8 3. 8974,3 4 9100,5 3fl. 9362,4 2,5 898r,3 5 9*07,7 • 9272,9 9 9 8988,2 2 5 9"9.° 3 9279*9 9 9 8991,7 5 gi3o,5 2 9286,7 3 t.b.v. 9000,4 5 91 36, 7 3d. 9290,3 i 9007 ,9 1 9 1 44 3 3d. g3o2 2 1 goi2,5 5 5 9102,6 5 93og,5 3 9017,3 5 9'56,i 5 g3i6,8 3 9023,2 1 g163,o 5 g320,2 3 9025,7 1 9168,9