From set theory, the course covers (i ... it covers the basic metatheory of sentential and first-order predicate logic (up to the completeness theorems), continues with Gödel's famous incompleteness ...