Induktionsanfang und -schritt

Der Startfall setzt die Kette in Gang; der Schritt $P(n)\Rightarrow P(n+1)$ verbindet jeden erreichten Fall mit dem nächsten.

Greift ein Schritt auf zwei Vorgänger zurück, brauchst du genug Anfangsfälle für beide Vorgänger.

Im Schritt darfst du $P(n)$ benutzen – aber nicht heimlich die noch zu zeigende Aussage $P(n+1)$.

Starke Induktion passt, wenn der nächste Fall auf einen beliebigen kleineren Fall zurückgreift – nicht nur $n-1$.

Achtung: Ohne wahre Basis kann selbst eine korrekte Implikation keine einzige Instanz begründen.