Условие корректности и полноты классической логики для семантики относительной $V$-реализуемости

Пусть $L$ — некоторое расширение языка арифметики, $V$ — некоторый класс числовых функций. Определяется понятие $V$-реализуемости для предикатных формул, основанное на оценке предикатных переменных формулами языка $L$. Устанавливается корректность и полнота классической логики относительно семантики $V$-реализуемости в случае, когда класс $V$ содержит все функции, определимые в языке $L$.