Le but des mathématiques est de démontrer des résultats non triviaux sur ce qu'on peut appeler globalement des objets mathématiques. Il en existe de nombreux types : nombres entiers, nombres réels, points, droites ou courbes de la géométrie, suites, séries et fonctions de l'analyse, ensembles divers, ensembles d'ensembles, etc. Les objets mathématiques n'appartenant pas au monde sensible, leur nature même pose problème, non seulement d'un point de vue ontologique dans une démarche philosophique, mais aussi dans une perspective pratique purement mathématique : comment définir un objet mathématique ? que signifie établir son existence ?
Définir des objets dérivés ne pose pas de problème : une fois les nombres entiers et leur multiplication définis, il est aisé de définir les nombres pairs comme ceux qui sont multiples de 2. En revanche, le problème se pose pour des objets de base comme les nombres entiers qu'il est difficile, sauf à tourner en rond, de définir à partir d'objets antérieurs.
La question est en général contournée en recourant à une démarche axiomatique : à défaut de définir les objets, on en énumère les propriétés de base, ou axiomes, et on se contente dès lors de déduire des conséquences logiques de ces dernières. Un exemple classique est le système de Peano pour l'arithmétique : partant d'une liste de propriétés simples des nombres entiers, on vérifie de proche en proche que toutes les propriétés de ceux-ci en résultent. Dans cette approche pragmatique, le point important n'est pas la nature de l'objet, mais seulement son comportement.
Notons deux limitations. D'abord, le choix des axiomes ne saurait être arbitraire : la discussion sur les axiomes à considérer et leur adéquation à une intuition partagée est primordiale, sauf à réduire les mathématiques à un exercice formel vide de contenu.
Ensuite, choisir des axiomes ne garantit pas leur cohérence. Les axiomes proposés par Giuseppe Peano affirment l'existence d'objets ayant telles et telles propriétés, mais ne l […]
… pour nos abonnés, l'article se prolonge sur 2 pages…
