undecidable formula Мат. неразрешимая формула Источник: Полный англо-русский словарь на Gufo.me Предложить изменения undecidable arithmetic undecidable predicate
