The use of lambda abstractions, which are then embedded into other mathematical systems, and used as a deductive system, leads to a number of problems, such as Curry's paradox.
This is not a criticism of pure lambda calculus, and lambda calculus as a pure system is not the primary topic here.