Arithmetik/Satzmenge/Funktion/Repräsentierung (stark)/Definition/Begriff

Die Repräsentierbarkeit einer Funktion

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

in einer Menge ${}\Gamma$ von arithmetischen Ausdrücken.