Menge/Endliche Teilmengen/Rekursiv/Erfüllt Peanoaxiome/Fakt
Erscheinungsbild
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.
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.