recursive solvability

Мат. рекуррентная разрешимость