Теорема Гёделя — синтаксическая версия.

Смотрите также