I figured as much; after all, in the standard proof one only needs PA around long enough to construct Goedel numbers.
I figured as much; after all, in the standard proof one only needs PA around long enough to construct Goedel numbers.