Nun ja, einen als Induktionsanfang deklarierten (starken) Induktionsanfang gibt es hier (in der starken Induktion) nicht (mehr). Es gibt nur den Induktionsschritt. Der umfasst Beides: das, was früher im »gewöhnlichen« Teil des Artikels als Induktionsanfang bezeichnet wurde, und eben auch das, was früher im Artikel als Induktionsschritt bezeichnet wurde. Der starke Induktionsschritt zerfällt also, (zumindest, wenn es einen echten nicht-leeren (gewöhnlichen) Induktionsanfang im alten Sinn gibt) in zwei Teile, die sich durch eine Fallunterscheidung trennen lassen. (Letztlich muss man, wie Du sagst, diese Induktionsanfänge etc. in genau derselben Weise wie bei der gewöhnlichen V.I. nachweisen – egal wie man sie etikettiert.) Wenn Du das klarer formulieren kannst, dann bitte ich Dich darum. -- Nomen4Omen 14:03, 7. Sep. 2018 (CEST)