AXIOMA: Proposição admitida como verdade sem necessidade de demonstração, mas cujo caráter é aparente.


TEOREMA; Proposição que pode ser demonstrada utilizando axiomas e postulados.

POSTULADO. Proposição admitida como verdade sem necessidade de demonstração, mas cujo caráter não é aparente.

COROLÁRIO; Consequências do TEOREMA.

Consequência directa de uma proposição já demonstrada.

Temos que o teorema de Pitágoras é: dado um triângulo retângulo de catetos B e C e hipotenusa A, vale a seguinte igualdade A² = B²+C².
Como COROLÁRIO, temos que se B=C no teorema acima, A = Br(2), onde r(2) significa raiz de 2. Isso vem imediatamente do teorema.

Text

Dedução