**Thoralf Skolem**

### Recent News

- None

This is the material covered in the course.

- January 9: History of Metalogic
- January 11: Sets and Functions
- January 18: Inductive Definitions, Metalogical Proofs, Problem Set 1
- January 23: Preliminaries through Theorem 4
- January 25: Theorem 5 through Exercise 7
- January 30: Semantics for Propositional Logic
- February 6: Proof Theory for Propositional Logic through Proposition 25
- February 13: Consistency, Soundness, Completeness of Propositional Logic
- February 20: Syntax of Predicate Logic
- February 22: Semantics of Predicate Logic through Local Determination
- February 27: Substitution Theorem, Proof Theory of Predicate Logic through
**Ax0** - March 1: Proof Theory of Predicate Logic,
**Ax1**through Lemma 65 - March 6: Proof Theory of Predicate Logic, Lemma 65 to end, Soundness of Predicate Logic
- March 8: Completeness of Predicate Logic to beginning of Theorem 80