equivalente a la indecidibilidad de los correspondientes problemas para términos lambda.