ressortir le procédé qui est uniforme et qu’on retrouve à chaque pas.
Ce procédé est la démonstration par récurrence. On établit d’abord un théorème pour n = 1 ; on montre ensuite que s’il est vrai de n − 1, il est vrai de n et on en conclut qu’il est vrai pour tous les nombres entiers.
On vient de voir comment on peut s’en servir pour démontrer les règles de l’addition et de la multiplication, c’est-à-dire les règles du calcul algébrique ; ce calcul est un instrument de transformation qui se prête à beaucoup plus de combinaisons diverses que le simple syllogisme ; mais c’est encore un instrument purement analytique et incapable de rien nous apprendre de nouveau. Si les mathématiques n’en avaient pas d’autre elles seraient donc tout de suite arrêtées dans leur développement ; mais elles ont de nouveau recours au même procédé, c’est-à-dire au raisonnement par récurrence et elles peuvent continuer leur marche en avant.
À chaque pas, si on y regarde bien, on retrouve ce mode de raisonnement, soit sous la forme simple que nous venons de lui donner, soit sous une forme plus ou moins modifiée.
C’est donc bien là le raisonnement mathématique par excellence et il nous faut l’examiner de plus près.
