Zusammenfassung der Ressource
Natürliche Zahlen
- Vollständige Induktion
- Induktionsanfang: A(0) ist wahr
- Induktionsanfang muss nicht immer 0 sein, kleinste Zahl
- Induktionsschritt: Wenn A(n) wahr ist, ist auch A(n+1) wahr
- Damit ist A(n) wahr
- Peano Axiome
- Menge mit 0
- Injektive Abbildung s die auf den Nachfolger abbildet
- s = successor
- 0 ist kein Nachfolger
- Totale Ordnungsrelation
- abzählbar unendlich
- Verknüpfungen
- Addition
- n + m - mal beim Tupel (n,m)
- Multiplikation
- n * m-mal biem Tupel (n, m)
- Summe und Produkte
- Summe
- Produkte