Gordon Seidoh Worley comments on Why do the Sequences say that “Löb’s Theorem shows that a mathematical system cannot assert its own soundness without becoming inconsistent.”?

[Gordon Seidoh Worley]

I recently revisited Lob. I bounced off it a lot. It helped after I watched the video linked at the top of this post where Eliezer combines it with Godel theorem.