Peano-Halbring/Wohlordnungsprinzip/Fakt/Beweis/Aufgabe

Beweise das Wohlordnungsprinzip für erststufige Aussagen für Peano-Halbringe.