Ensemble de formules qui s'enchaînent à l'intérieur d'une théorie (théorie de la démonstration) et dont la dernière constitue un théorème, appelé également thèse.

La démonstration d'une formule est constituée par une liste de formules dont chacune, soit est l'un des axiomes de la théorie dans laquelle s'effectue la démonstration, soit résulte d'une ou de plusieurs formules, de rang inférieur dans la liste, en vertu d'une règle d'inférence admise dans la théorie. La formule est dite démontrable dans la théorie considérée.