Z/N/Erststufige Charakterisierung/Aufgabe

Man gebe einen Ausdruck aus der arithmetischen Sprache erster Stufe (also mit ) mit einer freien Variablen an, der über den ganzen Zahlen folgende Eigenschaft besitzt: Es gilt

genau dann, wenn ist (der Ausdruck gilt also genau für die natürlichen Zahlen).