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.