Счетное число непересекающихся перечислимых множеств, никакие два из которых неотделимы разрешимым множеством:

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

• # Две программы A, В доказуемо различны, если:
• # Сложение чисел x, y реализует рекурсия:
• # Фрагмент - это всегда:
• # Если B(x,y) - некоторое разрешимое свойство, то свойства вида определяют свойства:
• # Совокупность элементов X и определённых над ними операции F, удовлетворяющих аксиомам, называется: