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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

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

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