But, because PA is consistent, the largest consistent subset of PA is just PA, so in this sense PA "proves that it is consistent".
Αλλά μιας και η PA είναι συνεπής, το μεγαλύτερο συνεπές υποσύνολο της PA είναι απλά η PA, οπότε υπό αυτή την έννοια η PA "αποδεικνύει ότι είναι συνεπής".