undecidable structure

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