It looks like it, but I must say the formulation seems a bit lacking in precision.

The principle of mathematical induction could be stated, I guess from your question, like this:

If (i) is true and (ii) for all : is true, provided is trueNow a somewhat unhappy formulation of the principle of strong induction would be

then is true for all

If (i) is true and (ii) for all : is true provided is true for all withI wrote "unhappy formulation" because the principle of strong induction should, in my opinion, really be formulated like this:

then is true for all

If for all : is true provided that is true for all withNote that in this formulation we do not need a separate clause to require that holds, because if you set in the above you can see, that this requires you to be able to prove without presupposing the truth of any other , with , since for this choice of n there is

then is true for allnok that satisfies .

This would become much clearer if we were allowed to write the above with connectives of implication, conjunction, and quantification from first-order logic, I think.