Die mathematische ''Logik'' ist ein Teilgebiet der Mathematik. Der Begriff wurde einst von Giuseppe Peano geprägt und für die symbolische ''Logik'' verwendet.
{{K|Mathematik}} Untersuchung der Zusammenhänge zwischen [[Axiom]]en und Sätzen mathematischer Theorien