Les mathématiques: entre évidence et convention ?

La démonstration mathématique a, depuis Platon, impressionné les philosophes. C'est qu'elle procure à l'esprit une entière certitude, laquelle a partie liée avec le caractère foncièrement abstrait (non empirique) des objets dont elle traite. On tient aujourd'hui les mathématiques pour un langage formel et rigoureux, et non plus pour une science décrivant des objets mentaux immuables : la géométrie euclidienne n'est pas plus vraie qu'une autre ; elle constitue seulement le langage le plus commode à notre échelle.