ist vielleicht etwas unglücklich formuliert, natürlich gilt die Aussage nicht für beliebige A(n). Sondern man zeigt bzw. beweist wenn sie für A(n) gilt, dann gilt sie für auch für A(n+1). Ob sie aber für überhaupt irgendein n gilt weiß man zunächst nicht. Genau dafür braucht man den Induktionsanfang, denn mit diesem hat man ein n gefunden für das die Aussage gilt und wenn man den Induktionsschritt bewiesen hat, muss dann auch A(n+1) gelten und damit dann auch A((n+1)+1) und dann A([(n+1)+1] +1) usw. -- Kmhkmh 14:07, 20. Dez. 2023 (CET)