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