quetzal_rainbow comments on Löb’s Lemma: an easier approach to Löb’s Theorem

[quetzal_rainbow]

Thank you, it’s much more clear now.