pour la première définition, cette démonstration est impossible ; au contraire, nous venons de rappeler que pour la seconde Hilbert avait donné une démonstration complète.
En ce qui concerne la troisième, il est clair qu’elle n’implique pas contradiction : mais cela veut-il dire que cette définition garantit, comme il le faudrait, l’existence de l’objet défini ? Nous ne sommes plus ici dans les sciences mathématiques, mais dans les sciences physiques, et le mot existence n’a plus le même sens, il ne signifie plus absence de contradiction, il signifie existence objective.
Et voilà déjà une première raison de la distinction que je fais entre les trois cas ; il y en a une seconde. Dans les applications que nous avons à faire de ces trois notions, se présentent-elles à nous comme définies par ces trois postulats ?
Les applications possibles du principe d’induction sont innombrables ; prenons pour exemple l’une de celles que nous avons exposées plus haut, et où on cherche à établir qu’un ensemble d’axiomes ne peut conduire à une contradiction. Pour cela on considère l’une des séries de syllogismes que l’on peut poursuivre en partant de ces axiomes comme prémisses.
Quand on a fini le ne syllogisme, on voit qu’on peut en faire encore un autre et c’est le n + 1e ; ainsi le nombre n sert à compter une série d’opérations successives, c’est un nombre qui peut être
