Progress report

I have lectured until Section 7.7.2.

Next week I will lecture Section 7.7.2 (G?del's First Incompleteness Theorem). I assume I need one hour to lecture that section. Then, I will start to lecture Section 7.8 (More on Undecidability).