Im Text: ... Oder weniger formal formuliert: Induktionsanfang: Es wird bewiesen, dass die Aussage für die kleinste Zahl, den Startwert, gilt. Induktionsschritt: Folgendes wird bewiesen: Gilt die Aussage für eine beliebige Zahl, so gilt sie auch für deren Nachfolger Meine Frage: Woher wissen wir, dass die Aussage A(n) für eine beliebige Zahl gilt? Ist für beliebig auch der Anfang A(1) zulässig? Wenn ja, dann muss doch nur gezeigt werden, dass die nächste Aussage A(2) sich aus dem Anfang A(1) ergibt?! So ist dem Nachfolger doch genüge getan?! Also meine Frage anders formuliert: Ist der beliebigen Zahl auch mit einer konkreten bereits genüge getan? Wenn aber mit beliebig notwendiger Weise jede Aussage A(n) gemeint ist, dann bleibt die obige Frage nach der Gültigkeit von A(n). Vielleicht ist einem das nicht zu dumm gefragt, danke -- Walmei 12:29, 20. Dez. 2023 (CET)