Gödel Without (Too Many) Tears. Episode 3

Here's the notes for today's lecture.

3. Two weak arithmetics

To repeat, there's a dedicated GWT comments page here — still unused, despite many hundred downloads of previous episodes!