“Dans la tradition occidentale, les mathématiques sont conçues comme une découverte intellectuelle, un corpus de propositions vraies, qui s’accroît régulièrement par l’effort des chercheurs. Dans cette conception, les mathématiques sont un savoir qui se distingue des autres par le fait qu’il se refuse à recourir au témoignage des sens, et accepte comme seul critère de vérité la rigueur logique. Seules quelques propositions mathématiques sont acceptées sans démonstration : les axiomes. Toutes les autres propositions doivent être démontrées, c’est-à-dire déduites des axiomes ou d’autres propositions antérieurement démontrées par l’application de règles logiques strictement codifiées. De...”