From set theory, the course covers (i) what is needed for use in formal reasoning, and (ii) what is of philosophical interest (Russell Paradox, elementary theory of cardinals and ordinals, transfinite ...