undecidable system

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