À la fin du XVIIIe siècle, Emmanuel Kant pouvait encore voir dans les mathématiques le modèle même des jugements synthétiques a priori, c'est-à-dire dotés d'un contenu intuitif propre quoique non dérivé de l'expérience sensible. Des géométries non-euclidiennes à la théorie des transfinis de Cantor, les mathématiques du XIXe siècle vont cependant faire triompher des systèmes mathématiques résolument déductifs et non plus intuitifs...