Es sei Γ ⊆ L A r {\displaystyle {}\Gamma \subseteq L^{\rm {Ar}}} eine Menge von arithmetischen Ausdrücken, die Repräsentierungen erlaube. Dann gibt es zu jedem α ∈ L 1 A r {\displaystyle {}\alpha \in L_{1}^{\rm {Ar}}} einen Satz q ∈ L 0 A r {\displaystyle {}q\in L_{0}^{\rm {Ar}}} mit
