Программу А со свойством "никакая программа В не является доказуемо различной с А":
(Отметьте один правильный вариант ответа.)
Варианты ответа
можно верифицировать
можно построить(Верный ответ)
нельзя построить