Progress report

I am done with the proof of Godel's 1st Incompleteness Theorem.

Tomorrow we will do exercises (see below). I will also present my solution of the mandatory assignment (after the break tomorrow).