mathematische Logik, Teilgebiet der Logik, das sich mit Fragen beschäftigt, die für die Mathematik methodologisch wichtig sind; z. B. mit dem Beweisbegriff.