If we could prove (2) in PA, then we would have a proof of Con(PA) in PA. For, by explosion, Con(PA) holds if and only if there is some sentence that is not provable in PA.
Press the back button on your browser to go back to the post