decidable arithmetic

Мат. разрешимая арифметика