Les nombres sont les concepts-signes d’un langage non-ambigu et universel. Par référence aux philosophes Grecs, ils sont un pont entre le monde des Idées-Formes et le monde sensible. Dans le mondes des Idées-Formes, il y a la géométrie avec ses angles parfaits et ses cercles parfaits, l’algèbre avec ses équations.
Dans le monde sensible, il y a les systèmes de numération et les modes opératoires de l’arithmétique. Nous commencerons par une brève histoire des nombres-signes et montrerons comment les systèmes de numération peuvent être spécifiquement adaptés à certaines démonstrations, ou à certaines automatisations.