Permitiendo definir la clase de ""las funciones recursivas de Herbrand-Gödel"".