Peano-Halbring/Keine Zwischenzahlen/Aufgabe

Zeige, dass in einem Peano-Halbring der Ausdruck

$\forall x\forall y{\left(x\leq y\wedge y\leq x+1\rightarrow {\left(y=x\vee y=x+1\right)}\right)}$

gilt.

Eine Lösung erstellen