Matematická logika je vední disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména tech oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako dukaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.