Dieser Kurs führt in die grundlegenden Ideen der modernen mathematischen Logik ein. Wir stellen die Logik erster Stufe vor, die als allgemeine Sprache der ganzen Mathematik dient, und beweisen Gödels Vollständigkeitssatz, der impliziert, dass alle gültigen Aussagen der Logik effektiv aufgelistet werden können. Außerdem präsentieren wir Gödels Unvollständigkeitssatz, der impliziert, dass es keinen Algorithmus gibt, der allgemein entscheiden kann, welche Aussagen der Mathematik wahr sind.

Es werden keinerlei Kenntnisse in Logik vorausgesetzt.