Term/Weder Variable noch Konstante/Gesamtstelligkeit und Grundtermanzahl/Aufgabe
Es sei eine Grundtermmenge und ein -Term. Es sei die Gesamtzahl der Variablen und Konstanten in , wobei mehrfaches Vorkommen auch mehrfach gezählt wird. Es sei die Summe über alle Stelligkeiten der in vorkommenden Funktionssymbole, wobei wiederum mehrfach auftretende Symbole auch mehrfach gezählt werden.
- Bestimme
und
im Term
- Es sei weder eine Variable noch eine Konstante. Zeige .
- Zeige, dass die Differenz beliebig groß sein kann.