Kant, who introduced the analytic-synthetic distinction, believed mathematical proofs are synthetic.
Kant, quen introduciu a distinción analítica-sintética, cría que as demostracións matemáticas son sintéticas.