Diese Veranstaltung ist eine Einführung in die Grundbegriffe, die formale Sprache und die Methoden der Mathematik, am folgenden Themenaufbau entlang:

- Logik (Grundelemente der Sprache, Prädikatenlogik, Aussagenkalkül),

- Mengenlehre (Mengen, Mengenalgebra, mengentheoretische Logik),

- Relationen (mengentheoretische Relationen, Funktionen, Äquivalenz- und Ordnungsrelationen), (im Früjahressemester),

- Zahlen (mengentheoretische Konstruktion des Zahlenbegriffs), (im Früjahrssemester).

Zentrales Anliegen ist die mathematische Denkweise anhand ausgewählter Beispiele zu üben, insbesondere klare Begriffsbildung (Definieren) und logisches Schliessen (Beweisen).