Una pregunta clásica de la filosofía pregunta si las demostraciones matemáticas son analíticas o sintéticas.