Term (Prädikatenlogik)

Die Menge der $\sigma$-Terme ${\mathcal{T}}_{\sigma }$ ist induktiv definiert:

1. Jede Variable $v_i$ ist ein Term.
2. Jedes Konstantensymbol $c\in \sigma$ ist ein Term.
3. Ist $f\in \sigma$ ein $k$-stelliges Funktionssymbol und $t_1,\dots ,t_k$ Terme, dann ist $f(t_1,\dots ,t_k)$ ein Term.
   Intuitiv: Terme beschreiben Objekte im Universum (z.B. $x+(1\ast y)$).