Общерекурсивная реализуемость и базисная логика

Определяется понятие общерекурсивной реализуемости, основанное на использовании индексов общерекурсивных функций в качестве конструктивного способа получения одних реализаций из других. Доказывается корректность базисной логики относительно введённой семантики общерекурсивной реализуемости.