Z/N/Erststufige Charakterisierung/Aufgabe

Aus Wikiversity

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).