🚀 go-pugleaf

The following seems to be a folklore result in Proof Theory:

Let PA be (first-order) Peano Arithmetic, and let G be the set of all
Pi_1-sentences  true in the standard model N. 
Then PA and PA + G have the same set of provably recursive functions.

Could someone please give me a hint where to find a proof of this
fact ?

Thanks    Jan

---
--------------------------------------------------------------------------------
"[Die Mathematik] steht ja "uber allem. Die Werke von Abel oder Kronecker sind
 heute genauso gut wie vor vierhundert Jahren, und so wird es immer sein.
 Es entstehen wohl neue Wege, doch die alten f"uhren weiter. Sie schliessen
 sich nicht. Dort ... dort ist die Ewigkeit. Nur die Mathematik hat keine
 Angst vor ihr."
                   Stanislaw Lem, "Transfer"
--------------------------------------------------------------------------------
               Jan Johannsen, Universit"at Erlangen, IMMD 1 
                Martensstrasse 3, D-8520 Erlangen, Germany   
                          Tel.:  49-9131-857688                         
               Email:  johannsen@informatik.uni-erlangen.de  
--------------------------------------------------------------------------------