Arithmetische Repräsentierbarkeit/Abbildung/Definition/Aufgabe

Was besagt die Repräsentierbarkeit einer Abbildung

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

durch eine Menge ${}\Gamma$ von arithmetischen Ausdrücken?

Eine Lösung erstellen