"Goedel's proof: With a foreword by D.R. Hofstadter" - читать интересную книгу автора (Nagel E., Newman J.R.)