Arithmetik/Satzmenge/Erlaubt Repräsentierungen (stark) von R/Definition

Erlaubt Repräsentierungen

Es sei ${}\Gamma$ eine Menge von arithmetischen Ausdrücken. Man sagt, dass ${}\Gamma$ Repräsentierungen erlaubt, wenn ${}\Gamma$ jede ${}R$-berechenbare Relation und jede ${}R$-berechenbare Funktion repräsentiert.