Ziel und Inhalt der Vorlesung: Das Ziel der Vorlesung ist die Vermittlung der logischen und mengentheoretischen Grundlagen der Mathematik, auf welchen andere Vorlesungen wie lineare Algebra oder Analysis aufbauen. Dazu gehören die Sprache der Mathematik (d.h. Aussagenlogik und Prädikatenlogik), Modelle von Axiomensystemen (inkl. Gödel'scher Vollständigkeitssatz), Beweismethoden, der Aufbau der Zahlen von den natürlichen Zahlen bis zu den reellen Zahlen, sowie die Axiome der Mengenlehre (auf denen die gesamte Mathematik aufgebaut ist).