题（Entscheidungsproblem）的否定：关于两个lambda运算式是否等价的命题，无法由一个「通用的演算法」判断，这是不可判定效能够证明的头一个问题，甚至还在停机问题之先。lambda演算包括了建构lambda项，和对lambda项执行归约的操作。在最简单的lambda演算中，只使用以下的规则来建构lambda项：产生了诸如：(λx.λy.(λz.(λx.zx)(λy.zy))(x y))的表达式。如果表达式是明确而没有歧义的，则括号可以省略。对于某些应用，其中可能包括了逻辑和数学的常量