Progress report

Tomorrow (Thursday) I will prove Theorem 6.3.6 (Godel's First Incompleteness Theorem). Then we are done with the curriculum.

For the rest the of the term we will solve exercises (exercises from Chapter 8 and past exams). The final lecture will take place November 18.