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