inductive hypothesis（归纳假设）：在数学归纳法证明中，先假定命题对某个特定整数（通常记为 k）成立，用这个假设去推出命题对下一个整数（k+1）也成立。它是“归纳步骤”的核心前提。（在其他领域也可指“用于归纳推理的假设”，但最常见的是数学归纳法语境。）
/ɪnˈdʌktɪv haɪˈpɑːθəsɪs/
Assume the statement holds for k; this is the inductive hypothesis.
假设该命题对 k 成立；这就是归纳假设。
Using the inductive hypothesis, we show that if the formula is true for n = k, then it must also be true for n = k + 1.
利用归纳假设，我们证明：如果该公式在 n = k 时为真，那么在 n = k + 1 时也必然为真。
inductive 来自拉丁语 inducere（“引入、导致”），在逻辑与数学中指“从个别推到一般”的归纳；hypothesis 来自希腊语 hypothesis（“假设、前提”）。合起来表示“用于归纳证明步骤中的假设前提”，尤其指数学归纳法里对 k 的那一步假定。
Select Language