In this course an introduction will be given in set theory, number set and elementary number theory. Then you will learn proposition logic (truth tables) before looking at more interesting theories using predicates and quantors. You learn to work with the Peano axioms for which the natural numbers are a model. Then you'll work with sets naievely and learn that there are different levels of infinity. Then we turn to Zermelo-Fraenkel axiomatic set theory, supplementen by the axiom of choice and the continuum hypothesis.