Zum Inhalt springen

Natürliche Zahlen/Peano/Strichmodell/Beispiel

Aus Wikiversity

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

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