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