simon2 comments on The Cartoon Guide to Löb’s Theorem

[simon2]

The hypothesis was that PA proves that “if PA proves C, then C” This enabled it to be proved that “PA proves C” So I think what we actually get applying the deduction theorem is ?((◻C)->C)->?C