Matematisk logik har generellt två betydelser. Det kan betyda
logik studerad med matematiska metoder eller
matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås som kontrast till
Filosofisk logik.