Lemma 2.2.24.
Assuming that:
M
⊨
PA
non-standard
Then
there is a non-
recursive
set
S
which is canonically coded in
M
.