Motivation

Term-Ersetzung drückt nicht alle Aspekte der üblichen mathematischen/logischen Sprache aus:

es fehlen Variablen (die sind zwar in den Regeln, aber nicht in den Termen, auf die diese angewendet werden)

gebundene Variablen in der ...

• Analysis: $\int$x²dx,$\sum_{{k=0}}^{n}$k²
• Logik: $\forall$x $\in$ A : $\forall$y $\in$ B : P(x, y)
• Programmierung: static int foo (int x) { ... }