Habe ich mich aber nicht doch geirrt? Ich dachte für den Satz (a + b)² = a² + 2ab + b² müsse es den algebraischen & einen rekursiven Beweis geben. Aber der Gang des algebraischen Beweises von (a + b)² = a² + 2ab + b² entspricht ganz dem Beweis || Übergang von (b + 1) + a = (b + a) + 1 im Induktionsbeweis III. || entspricht ganz der Art des Übergangs (b + 1) + a = (b + a) + 1 in III.