Wir setzen
und es sei die Gödelisierung mit Primzahlen vorausgesetzt. Zeige (ohne den Fixpunktsatz zu verwenden), dass es einen Satz q ∈ L 0 A r {\displaystyle {}q\in L_{0}^{\rm {Ar}}} mit
gibt.