undecidable predicate

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