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

Мат. undecidable theor