de la forme et de la grandeur dans la figure ; celui de la cinématique, indépendance des mouvements ; etc.
Les problèmes sont des questions que l’on se pose sur l’objet de la science, et les théorèmes sont les réponses que l’on donne à ces questions. De ces problèmes, les uns surgissent à l’occasion des notions mêmes, les autres, à l’occasion de leurs notations. À cet égard, tout problème peut être l’objet d’une discussion, c’est-à-dire qu’on peut le généraliser en faisant sur chacune des données toutes les suppositions possibles, et en interprétant les résultats. C’est la discussion qui fixe définitivement la portée des notations algorithmiques et détermine les limites de leur emploi.
Ainsi sont résolues les questions de principe dont l’examen importait au but que nous poursuivons : et c’est en nous conformant aux règles que nous venons de donner que nous fonderons l’algorithmie de la logique.
