Entonces se asume que este predicado es computable y que puede ser expresado de aquí en adelante en notación de cálculo lambda.