Es sei Γ {\displaystyle {}\Gamma } eine arithmetische Ausdrucksmenge und α {\displaystyle {}\alpha } ein einstelliges Prädikat mit
für alle n ∈ N {\displaystyle {}n\in \mathbb {N} } . Zeige, dass es einen Satz q {\displaystyle {}q} mit
