Understanding the basic notions of mathematical logic and the realization that (formal) proofs can be the object of mathematical study.
Propositional logic, first order predicate logic, completeness theorem; ZFC-Axioms; axiom of choice, cardinality; introduction to computational logic.
First lecture: Oct 2, 2018. Seminar room, 5th floor of the Freihaus building.
Oral exam
Not necessary