用的系统内也都是成立的。
变量.许多数学表达式中包括变量，变量又区分为自由变量或约束变量两种。对于自由变量赋值的一给定组合，进行对表达式的评估，然而这些赋值的某些组合在评估整句表达式后的结果，可能没有定义。因此一个表达式表示一个函数，其输入是赋予自由变量的值，其输出是表达式的结果值。举例来说，表示式formula_12，分别使自由变数formula_13和formula_14定值为formula_15和formula_16，其输出为数字formula_17；但注意在formu