Proposición que afirma una verdad demostrable. Consta de tres partes: hipótesis (lo que se supone), tesis (lo que se va a demostrar) y demostración (la prueba de la tesis). Dícese de la proposición demostrable lógicamente partiendo del axioma o de otro teorema ya demostrado, mediante reglas de inferencia aceptada.