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