Kant, quien introdujo la distinción entre analíticos y sintéticos, creía que las demostraciones en matemáticas son sintéticas.