Arithmetische Repräsentierbarkeit/Abbildung/Definition/Aufgabe

Was besagt die Repräsentierbarkeit einer Abbildung

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

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