## Gödel Without Tears — 3

Here’s the third episode (slightly updated to take account of some initial comments). Not anywhere near so exciting as the first two — but after all that arm-waving generality, we do need to get our hands dirty looking at some actual formal theories of arithmetic, mildly tedious though that is! And you really ought to know, e.g., what Robinson Arithmetic is.