Es la validación formal de una proposición con base en los axiomas y teoremas ya demostrados y de acuerdo a las reglas de la lógica y sus usos aprobados por la comunidad matemática, garantizando así la confiabilidad del argumento de validación.
Ver también:
Proposición
Ver también:
Lógica