Hi!

What text on both incompleteness theorems you would recommend for beginner? Specifically, I'm looking for the text with the following properties:

1) The proofs should be finitistic, in Godel's tradition, i. e. formalizing "I'm unprovable" (not, for instance, via formalization of halting problem);

2) The text must be of reasonable length but with complete proofs, so that one can study them in a reasonable amount of time (e. g. only those forms of recursion theory theorems are proved which are precisely needed for incompleteness proofs);

3) The entire text should be motivated and discussing ideas (even those of philosophical character) before and between technical constructions.

I would be very thankful if you'll equip your suggestion with some short resume.