Les axiomes de Peano

au bout du rêve de Leibniz

Peano a inventé un système de symboles grâce auquel il prétendait non seulement écrire l'ensemble des mathématiques de son temps, mais encore les enseigner, y compris à niveau élémentaire. Persuadé d'avoir réalisé le rêve de Caractéristique Universelle de Leibniz, il en avait démontré de fait l'inanité. Accessoirement, il a diffusé la construction rigoureuse de l'ensemble des entiers, réalisée avant lui par Grassmann et Dedekind. Voir aussi Induction et récurrence Logique de Leibniz Leibniz, précurseur de l'informatique