Полный англо-русский словарь
undecidable problem
Неразрешимая задача
Полный англо-русский словарь
undecidable predicate
undecidable proposition