nombres entiers, reliés par un réseau d’égalités et d’inégalités.
Les mathématiques, comme on l’a dit, se sont arithmétisées.
5
Mais croit-on que les mathématiques aient atteint la rigueur absolue sans faire de sacrifice ? Pas du tout, ce qu’elles ont gagné en rigueur, elles l’ont perdu en objectivité. C’est en s’éloignant de la réalité qu’elles ont acquis cette pureté parfaite. On peut parcourir librement tout leur domaine, autrefois hérissé d’obstacles, mais ces obstacles n’ont pas disparu. Ils ont seulement été transports à la frontière et il faudra les vaincre de nouveau si l’on veut franchir cette frontière pour pénétrer dans le royaume de la pratique.
On possédait une notion vague, formée d’éléments disparates, les uns a priori, les autres provenant d’expériences plus ou moins digérées ; on croyait en connaître, par l’intuition, les principales propriétés. Aujourd’hui on rejette les éléments empiriques en ne conservant que les éléments a priori ; c’est l’une des propriétés qui sert de définition et toutes les autres s’en déduisent parmi raisonnement rigoureux. C’est très bien, mais il reste à prouver que cette propriété, qui est devenue une définition, appartient bien aux objets réels que l’expérience nous avait fait connaître et d’où nous avions tiré notre vague notion intuitive. Pour le prouver, il faudra
