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

Мат. undecidable system, unsolvable system