在具体的证明过程中，主要使用的是关于公式结构的归纳法。
In the proving process, we mainly use the induction on the formula structure.
youdao
应用推荐
模块上移
模块下移
不移动