Arithmetisch repräsentierbar/Abbildung und Urbild/Aufgabe

Es sei

$\varphi \colon \mathbb {N} ^{r}\longrightarrow \mathbb {N} ^{s}$

eine arithmetisch repräsentierbare Abbildung und es sei  ${}T\subseteq \mathbb {N} ^{s}$  eine arithmetisch repräsentierbare Relation. Zeige, dass das Urbild

${}\varphi ^{-1}(T)\subseteq \mathbb {N} ^{r}\,$

arithmetisch repräsentierbar ist.

Eine Lösung erstellen