Prädikatenlogik/Substitution/Hintereinanderschaltung/Unendlich lang/Aufgabe

Aus Wikiversity

Es sei ein Symbolalphabet einer Sprache erster Stufe gegeben. Man gebe ein Beispiel für eine Substitution und einen -Ausdruck derart, dass die sukzessive substituierten Ausdrücke

immer länger werden.