Die mathematische Logik ist die die Lehre von der korrekten Formulierung, Umformulierung und Herleitung von Aussagen. Eine solche Aussage ist ein Satz, dem man eindeutig den Wahrheitswert "wahr" oder "falsch" zuordnen kann.

Diese Aussagen können mit Hilfe von Junktoren miteinander verknüpft werden. Bei der Formulierung von Aussagen spielen die Quantoren eine wichtige Rolle.

Die mathematische Logik stellt viele Regeln und Methoden zur Verfügung, mit denen man den Wahrheitsgehalt von Aussagen überprüfen kann und mit denen man korrekte Schlussfolgerungen ziehen kann.