Back Wiskundige logika Afrikaans Mathematische Logik ALS ሒሳባዊ ሥነ አምክንዮ Amharic Lochica matematica AN منطق رياضي Arabic Lóxica matemática AST Riyazi məntiq Azerbaijani Матэматычная логіка Byelorussian Матэматычная лёгіка BE-X-OLD Математическа логика Bulgarian
De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt onderverdeeld in de vier deelgebieden verzamelingenleer, bewijstheorie, modeltheorie en berekenbaarheid. Zo is in de wiskunde de groepentheorie verbonden met de verzamelingenleer, de getaltheorie met de bewijstheorie en is de berekenbaarheid een onderdeel van de computationele complexiteitstheorie. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die zich niet met grondslag van de wiskunde bezighouden. De wiskundige logica geeft de voorwaarden aan, waaraan een wiskundig bewijs moet voldoen.
Vroeger werd de wiskundige logica ook wel symbolische logica genoemd en op één lijn getrokken met disciplines waar qua onderzoeksgebied enige overlap mee is, met name met de filosofische logica en de metawiskunde. De eerste discipline betreft vooral de algemene logica, maar wordt soms ook nog gebruikt voor de wiskundige logica. Metawiskunde heeft vooral betrekking op bepaalde aspecten van de bewijstheorie.
In de vorige eeuw was het programma van Hilbert, genoemd naar David Hilbert en het onderzoek van de consistentie binnen de wiskunde door onder meer Kurt Gödel van belang.