неразрешимый предикат

Мат. undecidable predicate

Источник: Полный русско-английский словарь на Gufo.me