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