Интенсиональность математического дискурса и теорема Лёба

Рассмотрена проблема интенсиональности математического дискурса в свете теоремы Лёба. Исходя из факта эквивалентности теоремы Лёба и Второй теоремы о неполноте Гёделя, а также факта интенсиональности последней, формулируется проблема демонстрации интенсиональности теоремы Лёба. Показано, что эта интенсиональность имеет неявный характер, объясняемый «странностями» (по выражению Булоса) этой теоремы.

Ключевые слова: интенсиональность, теорема Лёба, Вторая теорема Гёделя, доказуемость.