Разрешающая Функция

То же, что Сколема функция.