"Godel's Proof, Revised Edition " - читать интересную книгу автора (Ernest Nagel, James R. Newman, Douglas R. Hofstadter)