formal proof 0 prueba formal Argumento matemático completo y convincente que presenta la justificación lógica total para cada paso y la prueba de la verdad de un teorema o una serie de teoremas. 2009-02-25