Mathematik 1/Gemischte Definitionsabfrage/10/Aufgabe/Lösung
- Zu einer Teilmenge heißt
das Urbild von unter .
- Die Dedekind-Peano-Axiome beziehen sich auf eine Menge mit einem ausgezeichneten Element und einer Nachfolgerabbildung
und lauten folgendermaßen.
- Das Element ist kein Nachfolger.
- Jedes ist Nachfolger höchstens eines Elementes.
- Für jede Teilmenge gilt: Wenn die beiden Eigenschaften
- ,
- mit jedem Element ist auch ,
gelten, so ist .
gilt.
definiert.