Gurkenglas comments on Löb’s theorem simply shows that Peano arithmetic cannot prove its own soundness

[Gurkenglas]

Then apparently “PA can’t prove its own soundness.” is an even weaker true statement among the ones one might choose to remember :).