Lösung

Die Ausformulierung der Regel (InR) für N=0,1 und N=2 lauten:

Dann argumentiert man:

• (InV) und (InR) für N=0 zeigen die Gültigkeit von A(1).

• Jetzt weiß man, dass A(0) und A(1) gelten. Dann folgt mit (InR) für N=1 die Gültigkeit von A(2).

• Nach 9 derartigen Schritten ist man beispielsweise bei A(10) angelangt. Und mit n-1 Schritten ist man bei A(n) für jedes n angelangt. Damit sind alle A(n) bewiesen!

Zurück