一旦你用到三个或三个以上的自然数相加，又没有把它分解成多步二元加法，那你其实就隐性的用到了数学归纳法。
而即使你把所有连加都分解成一步步计算，每步都只涉及两个自然数，要证明一系列自然数以不同步骤相加结果总相等也还是要用数学归纳法。
甚至于，很多定理都是对自然数使用的，而加法的定义并不先验保证两个自然数之和仍为自然数，那么你怎么保证对所有自然数生效的定理对任意两个自然数之和也生效呢？还是要用数学归纳法来证明自然数对于某些运算封闭。