Term/Eine Variable/Einsetzung/Abbildung/Aufgabe

Es sei ${}T(x)$ ein Term in der einen Variablen ${}x$, der ansonsten aus natürlichen Zahlen und darauf definierten Funktionssymbolen gebildet sei. Man mache sich klar, dass die Einsetzung ${}a\mapsto T(a)$ eine Abbildung von ${}\mathbb {N}$ nach ${}\mathbb {N}$ definiert.

Eine Lösung erstellen