recursive realizability

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