Checking the proof of Godel’s incompleteness theorem (1986)

by N Shankar