Term/Eine Variable/Einsetzung/Abbildung/Aufgabe
Es sei ein Term in der einen Variablen , der ansonsten aus natürlichen Zahlen und darauf definierten Funktionssymbolen gebildet sei. Man mache sich klar, dass die Einsetzung eine Abbildung von nach definiert.
