In che modo il combinatori Y esemplifica "Incoerenza del calcolo Lambda"?

Question

Nella pagina Wikipedia per Combinatori a punti fissi è scritto il testo piuttosto misterioso

Il combinatori Y è un esempio di ciò che rende incoerente il calcolo Lambda. Quindi dovrebbe essere considerato con sospetto. Tuttavia è sicuro considerare il combinatori Y se definito solo nella logica matematica.

Sono entrato in una sorta di romanzo spia? Ciò che nel mondo si intende per le dichiarazioni che $ lambda $ -calculus è "Incoerente" E che dovrebbe essere "considerato con sospetto"?