Gödel Without Tears, slowly, 14
In this last (and short!) chapter related to the first incompleteness theorem, we meet ‘Tarski’s Theorem’. And so we arrive at what might be thought of as the Master Argument for incompleteness — for appropriate theories, provability-in-T is expressible in T but truth isn’t, so provability isn’t truth.
Onwards to the second theorem next week!
[Link now removed]