decidable system

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