Dedekind-Peano-Axiome/Nachfolger/Iterationen/Fixpunktfrei/Aufgabe
Zur Navigation springen
Zur Suche springen
Begründe aus den Dedekind-Peano-Axiomen die folgenden Eigenschaften.
- Für die Nachfolgerabbildung gilt
für alle .
- Sei fixiert und sei
die -fache Hintereinanderschaltung der Nachfolgerabbildung. Zeige
für alle .