可根据某些规则而操作的对象。有指定值的表达式同时也代表了有假设前提，例如与formula_7运算符有关的假设前提，会指定一个内部的直接和(direct sum)。
形式语言和lambda演算.表示式和其赋值曾在1930年代由阿隆佐·邱奇和在其formula_8演算中被公式化。formula_8演算对现代数学和电脑程式语言的发展都曾有过重大的影响。formula_8演算有着一个更有趣的推论，在某些情况之下，两个表示式的等值与否是无法决定的。而且这个推论在任一和formula_8演