Demostración Formal

Una demostración formal es una secuencia finita y ordenada de fórmulas bien formadas en un lenguaje formal y en un sistema de prueba especificado, tal que cada fórmula es una premisa, un axioma del sistema o se obtiene de fórmulas anteriores mediante una regla de inferencia del sistema, y la fórmula final es la conclusión derivada.