表达式来表示零或者甚至许多值，这在数理逻辑上是不一致的。
Y组合子.在无类型lambda演算中众所周知的（可能是最简单的）不动点组合子叫做Y组合子。它是Haskell B. Curry发现的，定义为注意Y组合子意图用于传名求值策略，因为 (Y g)在传值设置下会发散（对于任何g）。
不动点组合子的存在性.在数学的特定形式化中，比如无类型lambda演算和组合演算中，所有表达式都被当作高阶函数。在这些形式化中，不动点组合子的存在性意味着“所有函数都至少有