 In sum, when it is said that “a certain amount of elementary arithmetic can be carried out within a system”, what is meant is either that the system is an axiomatizable extension of Q, or that Q can be interpreted in it. (In the case of (the standard proofs of) the second incompleteness theorem, substitute PRA for Q.)