Las demostraciones en matemáticas fueron revolucionadas por Euclides (300 a. C.), quien introdujo el método axiomático que aún se usa en la actualidad, empezando con términos indefinidos y axiomas (proposiciones concernientes a los términos indefinidos asumidas como evidentemente ciertas, vienen del griego "axios", que significa ‘valioso’), y usaba estos para probar teoremas usando lógica deductiva.