Page:Henri Poincaré - Dernières pensées, 1920.djvu/124

Le texte de cette page a été corrigé et est conforme au fac-similé.

nombres entiers en deux familles suivant leur grandeur. On peut reconnaître si un nombre est plus grand ou plus petit que 10 sans avoir à envisager les relations de ce nombre avec l'ensemble des autres nombres entiers. Quand on aura défini, je suppose, les 100 premiers nombres, on saura quels sont ceux d'entre eux qui sont plus petits et ceux qui sont plus grands que 10 ; quand on introduira ensuite le nombre 101, ou un quelconque des nombres suivants, ceux des 100 premiers entiers qui étaient plus petits que 10 resteront plus petits que 10, ceux qui étaient plus grands resteront plus grands; la classification est prédicative.

Imaginons au contraire qu'on veuille classer les points de l'espace et que l'on distingue ceux qui peuvent être définis en un nombre fini de mots et ceux qui ne le peuvent pas. Parmi les phrases possibles, il y en aura qui feront allusion à la collection tout entière, c'est-à-dire à l'espace, ou à des parties de l'espace. Quand nous introduirons de nouveaux points dans l'espace, ces phrases changeront de sens, elles ne définiront plus le même point ; ou bien elles perdront toute espèce de sens ; ou encore elles acquerront un sens alors qu'elles n'en avaient pas auparavant. Et alors des points qui n'étaient pas définissables deviendront susceptibles d'être définis ; d'autres qui l'étaient cesseront de l'être. Ils devront passer d'une catégorie dans une