Progress report

Tomorrow (Wednesday 28) I will complete the proof of the first incompleteness theorem (Theorem 6.3.6, page 176). I will also give you my solution of the mandatory assignment.