En el cálculo lambda, no es posible definir funciones que se incluyan a sí mismas.