Schade, dass du nicht auf meine Argumentation eingehst. Dein Hinwies auf das sogenannte "Induktionsaxiom" ist nicht stichhaltig und steht auch nicht im Widerspruch zur Vierschritttigkeit. Mein Vorschlag für den Artikel: Gilt A(1) und folgt aus A(n) für jede Zahl n>=1 die Gültigkeit von A(n+1), dann gilt die Formel A(n) für jede natürliche Zahl n>=1. Der Beweis, dass die Aussage (Behauptung) für alle ( meist 1 oder 0) gilt, wird in 4 unentbehrlichen (notwendigen) Schritten durchgeführt: Im Induktionsanfang wird die Aussage für eine kleinste Zahl formuliert. In der Induktionsbehauptung wird die Aussage als Gleichung mit n formuliert. In der Induktionsvorausetzung wird die Aussage als Gleichung mit (n+1) formuliert. Im Induktionsbeweis wird die Gleichung mit n (Induktionsbehauptung) mit einem geeigneten Übergangsterm in die Gleichung mit (n+1) (Induktionsvoraussetzung) überführt. -- Walmei 11:55, 29. Aug. 2018 (CEST)