Wikimedia Commons har medier relateret til: Matematisk logik

Matematisk logik har betydninger, der er i almindelig brug. Oprindeligt henførte matematisk logik til symbolik eller formel logik, og herefter blev matematisk logik associeret med undersøgelsen af matematiks logiske grundlag (endda filosofiske).

Matematisk logik inddeles i fire dele. Opdelingen er ikke skarp og kan derfor overlappe:

• Modelteori
• Bevisteori
• Rekursionsteori
• Mængdeteori