Comment le combinateur Y illustre-t-il «l'incohérence du calcul lambda»?

Question

Sur la page Wikipedia pour Combinateurs de points fixes est écrit le texte plutôt mystérieux

Le combinateur y est un exemple de ce qui rend le calcul lambda incohérent. Il doit donc être considéré avec suspicion. Cependant, il est sûr de considérer le combinateur y lorsqu'il est défini dans la logique mathématique uniquement.

Ai-je conclu une sorte de roman d'espionnage? Ce qui est dans le monde entendant par les déclarations que $ Lambda $ -Calculus est "inconsistant" Et que ça devrait être "considéré avec suspicion"?