сводимая теория

Мат. reducible theor