Set Theory: Learning outcome

The student will be aquainted with the Zermelo-Fraenkel axiom system ZFC for set theory with the axiom of choice and with how ZFC may serve as a formalization of mathematics.
In the first part, emphasis will be put on the well ordering concept, on ordinal numbers and transfinite recursion and induction and on the equivalence of the well ordering principle, the axiom of choice and Zorn’s lemma.
In the second part, an inner model for set theory, Gödel’s L, is studied, and L is used to verify certain consistency results for set theory, including the consistency of Cantor’s continuum hypothesis.