Advanced Deductive Logic

This course provides an introduction to the metatheory of first-order logic. We will prove the completeness of first-order logic. We then move on to the major "limitative" results, including the undecidability of first-order logic, the Gödel incompleteness theorems, and the undefinability in arithmetic of arithmetical truth.