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