Es sei ${\displaystyle {}\Gamma }$ eine Menge von arithmetischen Ausdrücken. Eine Relation ${\displaystyle {}T\subseteq \mathbb {N} ^{r}}$ heißt repräsentierbar in ${\displaystyle {}\Gamma }$, wenn es einen ${\displaystyle {}L^{\rm {Ar}}}$-Ausdruck ${\displaystyle {}\psi }$ in ${\displaystyle {}r}$ freien Variablen derart gibt, dass für alle ${\displaystyle {}r}$-Tupel ${\displaystyle {}(n_{1},\ldots ,n_{r})\in \mathbb {N} ^{r}}$ die beiden Eigenschaften

1. Wenn ${\displaystyle {}(n_{1},\ldots ,n_{r})\in T}$, so ist ${\displaystyle {}\Gamma \vdash \psi (n_{1},\ldots ,n_{r})}$,
2. Wenn ${\displaystyle {}(n_{1},\ldots ,n_{r})\not \in T}$, so ist ${\displaystyle {}\Gamma \vdash \neg \psi (n_{1},\ldots ,n_{r})}$,

gelten.