Tennenbaum without tears

Another week, another logic handout. This time on Tennenbaum's Theorem. Here's a reasonably stand-alone proof (based on one in Kaye's book) with some very quick concluding remarks on the question of the theorem's conceptual significance.

As always, comments are most welcome.