Convention. 归纳证明的写法 Glomzzz 2026-10-10 About 写“对 𝑡 结构归纳”时，意思是应用 结构归纳原理 ： 按项的形状逐个情形讨论，每个情形里可以对 直接子项与真子项 给出的直接子项使用 归纳假设 ． 采用 规则归纳法 作规则归纳时， 归纳假设只能用于规则前提对应的子推导，不能随便套在任意相关的项上．
