Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv definierte Termmenge/Definition/Begriff/Inhalt
Die Termmenge ist diejenige Teilmenge der Wörter über dem Termalphabet , die durch die folgenden rekursiven Vorschriften festgelegt wird.
- Jede Variable ist ein Term.
- Jede Konstante ist ein Term.
- Für jedes und Terme ist auch ein Term.