Вывод, что в любой математической формальной системе существуют верные утверждения, недоказуемые в рамках этой системы принадлежит:

Правильный ответ:

• # Что представляет собой интерпретация программы?
• # Язык, для которого существует программа, позволяющая вывести в произвольном порядке все слова этого языка ...
• # Что называется алфавитом некоторого языка?
• # В чем выражается неполнота формальной системы?
• # Если для каждого утверждения Y можно вывести только либо Y, либо не Y, это является признаком ...