 Note that substituting \(\bot\) for \(A\) in Löb’s theorem, we derive that \(\PA \vdash \neg\, \Prov(\ulcorner \bot\urcorner )\) implies \(\PA \vdash \bot\), which is just the contraposition of Gödel’s second incompleteness theorem.