Peano-Halbring/N/Nichtstandardmodelle/Aufgabe

Zeige, dass man die natürlichen Zahlen nicht erststufig festlegen kann.