Natürliche Zahlen/Peano/Strichmodell/Beispiel

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir betrachten die Menge aller endlichen Strichketten, einschließlich der leeren Kette, also

Zwei Strichketten sind genau dann gleich, wenn sie „gleichlang“ sind. Das augezeichnete Element ist . Die Nachfolgerabbildung ist dadurch gegeben, dass einer Strichkette die um einen Strich verlängerte Strichkette zugeordnet wird.