Induktionsbeweis
Mit Hilfe der vollständigen Induktion lassen sich Aussagen über natürliche Zahlen beweisen, also Aussagen der Form
Im obigen Beispiel war
: Es gibt Teilmengen einer -elementigen Menge.
Induktionsbeweise haben immer den gleichen ungefähren Aufbau.
- Induktionsverankerung/Induktionsstart Wir zeigen zunächst die Aussage
- Induktionsannahme/Induktionsvoraussetzung Wir nehmen nun an, dass
für ein gilt. - Induktionsschritt/Induktionsschluss
wird unter Zuhilfenahme der Gültigkeit von , also der Induktionsannahme, bewiesen.