undecidable relation

Мат. неразрешимое отношение