Arithmetische Ausdrucksmenge/Relation in N/Ableitbare Äquivalenz mit freien Variablen und Repräsentierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine arithmetische Ausdrucksmenge und eine Relation. Es seien Ausdrücke in einer freien Variablen . Zeige, dass aus

nicht folgt, dass in die Relation genau dann repräsentiert,

wenn in die Relation repräsentiert.
Zur Lösung, Alternative Lösung erstellen