"В.А.Успенский. Теорема Гёделя о неполноте ("Популярные лекции по математике", djvu, #57) " - читать интересную книгу автора