Mathematische Logik

Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt.

Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit, die Komplexität solcher Systeme zu messen, besteht darin, festzustellen, was damit bewiesen oder definiert werden kann.