Elementare Mathematik 1/Gemischte Satzabfrage/8/Aufgabe/Lösung
- Es seien und Modelle für die natürlichen Zahlen. Dann gibt es genau eine
(bijektive)
Abbildung
die das Zählen (also die und die Nachfolgerabbildung)
respektiert. - Es sei ein
kommutativer Halbring
und . Ferner sei eine natürliche Zahl. Dann gilt
- Es sei ein archimedisch angeordneter Körper und es sei . Dann gibt es eine natürliche Zahl mit .