Die mathematische Logik (ältere Bezeichnung: Logistik, auch symbolische Logik, Metamathematik) ist ein Teilgebiet der Mathematik und der 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.