Теорема Гёделя — синтаксическая версия // Владимир Успенский

Знаменитая Теорема Гёделя о неполноте имеет две версии — синтаксическую (объявленную и доказанную самим Гёделем) и семантическую (чаще всего фигурирующую в популярных рассуждениях о великой Теореме). Семантическая версия утверждает, что какую бы систему формальных доказательств ни придумать, в языке найдутся истинные утверждения, не доказуемые в рамках предложенной системы. Таким образом, семантическая версия исходит из того, что некоторые выражения языка выражают осмысленные утверждения, являющиеся истинными или ложными. Синтаксическая версия не опирается на то, что какие бы то ни было выражения языка имеют какой-то смысл, она смотрит на выражения как на синтаксические конструкции, то есть как на цепочки символов, организованные по определённым правилам. Синтаксическая версия Теоремы Гёделя утверждает, что какую бы систему формальных доказательств ни придумать, в языке найдутся такие выражения, что ни их самих, ни их отрицания невозможно доказать в рамках предложенной системы. Разумеется, обе версии предпо