词语：演示
语境：这个组合子也是 Curry悖论的核心，演示了无型别的 lambda演算是一个不稳固的推论系统，因由 Y组合子允许一个匿名表达式来表示零或者甚至许多值，这在数理逻辑上是不一致的。
释义：演示：示范解释。
构词方式：联合
语素1释义：发挥。
语素2释义：显露，表明。