quetzal_rainbow 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.”?

[quetzal_rainbow]

Of course it’s consistent, if you can prove false statements, you can prove anything.