Résumé
Le traitement axiomatique des théories scientifiques était au cœur du programme de philosophie de la logique et des mathématiques du début du XXe siècle et a été une caractéristique fondamentale de la philosophie des sciences jusqu'à l'empirisme logique au moins. Plus récemment, la philosophie générale des sciences s'est orientée vers des approches moins systématiques, approches qui, en sapant l'unité de la science à différents niveaux, ont aussi remis en question l'unité méthodologique basée sur l'axiomatisation des théories.
Les mathématiques sont-elles en phase avec les autres sciences ou ont-elles encore un intérêt pour l'axiomatique ? Et si cet intérêt n'est plus lié à la question des fondements, que peut-on encore comprendre de l'axiomatique et quels pourraient être ses objectifs ? En considérant la relation entre l'axiomatique et la pratique mathématique, le rôle social et architectural de l'axiomatique passe au premier plan.
