Die Beweistheorie ist ein Teilgebiet der Theoretischen Informatik und beschäftigt sich mit der Frage, wie man semantische Eigenschaften von Formeln mittels syntaktischer Manipulation entscheiden kann.
Der Ursprungsartikel stammt von der deutschsprachigen Wiki pedia (siehe oben: "Original Artikel & Autoren Liste"). Der Text steht unter der GNU Freie Dokumentation Lizenz.