неразрешимая структура

Мат. undecidable structure