Método axiomático y formalismo

Resuenan dos tesis centrales para la filosofía matemática: la que afirma un sitio privilegiado para la teoría de conjuntos en la comprensión de la estructura lógica e histórica de las matemáticas y la que establece la autonomía y pureza de las matemáticas; en este sentido, Cavaillès muestra que la esnecia de las matemáticas no debe nada a la existencia.