recursively soluble

Мат. рекурсивно разрешимый