Larry_D'Anna comments on The Cartoon Guide to Löb’s Theorem

[Larry_D'Anna]

oops that should be “what the deduction theorem really says”