Preuve Formelle

Une preuve formelle est une suite finie et ordonnée de formules bien formées dans un langage formel et un système de démonstration donnés, telle que chaque formule soit soit une prémisse, soit un axiome du système, soit obtenue à partir de formules antérieures par une règle d'inférence du système, et que la dernière formule soit la conclusion dérivée.