Dícese del método para resolver problema o verificar hipótesis en el que se supone verdadera una solución dada, deduciéndose de esta cierta consecuencia que se compara a continuación con hecho matemático ya conocidos.