Arithmetisch repräsentierbar/Abbildung/Bild/Aufgabe

Es sei

$\phi :{\mathbb{N}}^r⟶{\mathbb{N}}^s$

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

Eine Lösung erstellen