- inference by complete induction
Generated: This term refers to a method of mathematical proof that involves proving that a property holds for all natural numbers based on a base case and an inductive step.
tōng guò通过wán quán guī nà tuī lǐ完全归纳推理,wǒ men我们kě yǐ可以zhèng míng证明suǒ yǒu所有zì rán shù自然数de的hé和gōng shì公式。
By using inference by complete induction, we can prove the formula for the sum of all natural numbers.