Ассоциативное исчисление - это:
Двухстороннее исчисление, для правил которого нет алгоритма, выясняющегося, можно ли получить одно слово из другого:
Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:
Нумерация - вычислимая, если:
Два образца - совместны, если:
Множество перечислимо, если:
Множество перечислимо, если оно:
Множество - простое, если:
Перечислимо всякое множество, если оно:
Если универсальное множество - главное, то его: