Usando el predicado ISZERO, y las definiciones booleanas y algebraicas anteriores, la función "g" puede ser definida en el cálculo lambda.