En las ciencias formales las deducciones o demostraciones matemáticas generan pruebas únicamente dentro del marco del sistema definido por ciertos axiomas y ciertas reglas de inferencia.