Today’s short episode is a second ‘Interlude’, separating the chapters on the first incompleteness theorem from the final three chapters on the second theorem. But it mentions (or at least, gestures at) enough interesting points for it to be worth its own post.
[There a reference to a Theorem 51, which is the previously unnumbered result — now indeed to be recognized as a theorem in its own right — at the end of §13.3. which says that if a theory T is p.r. axiomatized and contains Q, the formal predicate ProvT does not capture the property of being a T-theorem.]
[Link now removed]