"Теорема Гёделя" - читать интересную книгу автора (Э. Нагель, Дж. Р. Ньюмен)