Es sei ( N , 0 , ′ ) {\displaystyle {}(\mathbb {N} ,0,^{\prime })} ein Dedekind-Peano-Modell der natürlichen Zahlen. Zeige, dass für x , y ∈ N {\displaystyle {}x,y\in \mathbb {N} } die Beziehung x ≤ y {\displaystyle {}x\leq y} genau dann gilt, wenn es ein z ∈ N {\displaystyle {}z\in \mathbb {N} } gibt mit y = x + z {\displaystyle {}y=x+z} .
