Arithmetik/Satzmenge/Erlaubt Repräsentierungen (stark) von R/Definition/Begriff/Inhalt
Man sagt, dass Repräsentierungen erlaubt, wenn jede -berechenbare Relation und jede -berechenbare Funktion repräsentiert.
Man sagt, dass Repräsentierungen erlaubt, wenn jede -berechenbare Relation und jede -berechenbare Funktion repräsentiert.