典型段法
Typical segment method
以上为机器翻译结果，长、整句建议使用 人工翻译 。
数学归纳法推理是典型的三段论，而不是完全归纳法，其基础是自然数列的性质，而不是逻辑公理。
Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of natural sequence, but not logic axioms.
youdao
应用推荐
模块上移
模块下移
不移动