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 ...

We proved that all the usual things are equivalent to the axiom of choice: Zorn’s lemma, the well ordering principle, cardinal comparability (given two sets, one must inject into the other), and the ...