Die mathematische Logik ist ein Teilgebiet der Mathematik. Der Begriff wurde einst von Giuseppe Peano geprägt und für die symbolische Logik verwendet.
Die Logik kann uns lehren, welche Schlussfolgerungen richtig sind und welche nicht.