Beweistheorie, Teilgebiet der Metamathematik, in dem Beweissysteme für formalisierte Theorien untersucht werden. Die Beweistheorie entstand zur Realisierung des Hilbert-Programms. In ihr werden z. B. die Teilgebiete der Mathematik als formalistische Theorien aufgefasst und untersucht, um ihre Widerspruchsfreiheit zu beweisen.