decidable theor

Мат. разрешимая теория