Una demostración formal se define como una secuencia de fórmulas en un lenguaje formal en la cual cada fórmula es una consecuencia lógica de las precedentes.