Wie habt ihr starke Induktion definiert?
Bei der vollständigen Induktion nimmt man an, dass A(n) gilt und schließt damit auf A(n+1).
Bei der starken Induktion nimmt man an, dass die Aussage für alle i∈{n0,...,nk} in einer bestimmten Menge mit n0<⋯<nk≤n gilt und schließt damit auf A(n+1). Also wenn du bspw. Im Induktionschritt
A(0)∧⋯∧A(n)⟹A(n+1)
oder
A(n−1)∧A(n)⟹A(n+1)
etc. zeigst. Ob man dafür jetzt einen eigenen Namen verwenden möchte ist wohl Geschmackssache.