неразрешимая арифметика

Мат. undecidable arithmetic