Aufgabe:
Sei A(n) eine Aussageform. Angenommen, A(1) ist wahr und fur alle n ∈ N gilt die Implikation(A(1) ∧ · · · ∧ A(n)) ⇒ A(n + 1). Zeigen Sie, dass dann A(n) fur alle n ∈ N gilt.
Wie zeigt man sowas ohne etwas zu rechnen?
