Arithmetisch repräsentierbar/Abbildung/Bild/Aufgabe

Es sei

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

eine arithmetisch repräsentierbare Abbildung. Zeige, dass das Bild ${}\varphi (\mathbb {N} ^{r})\subseteq \mathbb {N} ^{s}$ arithmetisch repräsentierbar ist.

Eine Lösung erstellen