Es sei ein einstelliges Funktionssymbol, ein zweistelliges Funktionssymbol, sei eine Konstante und seien Variablen. Interpretiere den Term
-
unter den folgenden Interpretationen, wobei die Grundmenge der Interpretation bezeichne.
- ,
ist die Nachfolgerfunktion, die Addition,
,
und
.
- ,
ist das Quadrieren, die Multiplikation,
,
und
.
- ,
ist das Differenzieren von Funktionen, die Multiplikation von Funktionen, ist die Identität, ist die Sinusfunktion und ist die Exponentialfunktion zur Basis .