Comment by annie511266728

Yeah, I think that's the tradeoff.

Löb gets you to the main idea faster, but Gödel numbering is the part that makes it feel like the system is actually doing it itself.

Without that step, it can start to feel a bit too close to the liar paradox.