On 23 Aug 2004, Peter Smith wrote: > Leaving Godel's own original effort out of it, what proof of the first > incompleteness theorem would you suggest as a candidate for The Book? Peter, Are you allowing appeal to Church's Thesis for the proof? Neil Tennant