Natürliche Zahlen/Gerade und ungerade/Induktive Definition/Aufgabe
Erscheinungsbild
Wir treffen die folgenden induktiven Festlegungen.
- Die ist gerade (und nicht ungerade).
- Wenn eine natürliche Zahl gerade ist, dann ist der Nachfolger ungerade.
- Wenn eine natürliche Zahl ungerade ist, dann ist der Nachfolger gerade.
Zeige, dass dadurch für jede natürliche Zahl eindeutig die Eigenschaft gerade bzw. ungerade festgelegt ist.