Das Seminar bietet eine Einführung in die Grundlagen der Mathematischen Logik. Wir behandeln den Aussagenkalkül, sowie die Prädikatenlogik erster Ordnung. Dabei werden wir klären, was ein mathematischer Beweis ist und welche Grenzen der Beweisbarkeit und Axiomatisierbarkeit es gibt.
Weiterhin werden wir uns mit Modelltheorie beschäftigen und sehen, wie man mit Logik Sätze aus der Algebra ohne Algebra beweisen kann. Beispielsweise werden wir uns mit Hilbert's 17. Problem aus Sicht der Logik beschäftigen.