Natürliche Zahlen/Kleinergleich und Addition/Aufgabe

Aus Wikiversity

Es sei ein Dedekind-Peano-Modell

der natürlichen Zahlen. Zeige, dass für die Beziehung genau dann gilt, wenn es ein gibt mit .