。formula_8演算有着一个更有趣的推论，在某些情况之下，两个表示式的等值与否是无法决定的。而且这个推论在任一和formula_8演算有同样功用的系统内也都是成立的。
变量.许多数学表达式中包括变量，变量又区分为自由变量或约束变量两种。对于自由变量赋值的一给定组合，进行对表达式的评估，然而这些赋值的某些组合在评估整句表达式后的结果，可能没有定义。因此一个表达式表示一个函数，其输入是赋予自由变量的值，其输出是表达式的结果值。举例来说，表示式formula_12，分别使自由