Menge/Endliche Teilmengen/Rekursiv/Erfüllt Peanoaxiome/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine unendliche Menge und sei die Anzahlmenge von zusammen mit der Nachfolgerabbildung und mit .

Dann ist ein Peano-Modell für die natürlichen Zahlen.