recursive undecidability

Мат. рекурсивная неразрешимость