Les mathématiques, modèle d'intelligibilité ?

Démontrer, c'est fonder a priori, c'est-à-dire indépendamment de l'expérience. «L'expérience nous apprend bien ce qui est, mais non que ce qui est ne puisse être autrement«, écrit Kant (1724-1804), dans sa Critique de la raison pure. On dit que la démonstration mathématique constitue une preuve apodictique, c'est-à-dire qu'elle est irréfutable et ne laisse rien en litige.