Peano-Halbring/Vorgängereigenschaft/Fakt/Beweis/Aufgabe

Beweise den Satz über die Vorgängereigenschaft in einem Peano-Halbring.