da演算中，概念比如3和*，不需要任何额外定义基本运算符或常量就可以表示出来。有可能在lambda表达式中确定一些项，在做适合的解释的时候，它们的表现得如同数3和乘法运算符。已知lambda演算在计算性上等价于关于计算的任何其他似乎为真的模型（包括图灵机）的能力；就是说，可以在任何这些模型中完成的计算都可以用lambda演算表达，反之亦然。根据邱奇-图灵论题，这些模型都可以表达任何可能的计算。可能令人惊奇，只使用基于对项中变量的简单文字代换的函数抽象和应用的简单概念，lambda演算可以表达任何可想