>>139

つづき

https://kotobank.jp/word/%E6%95%B0%E5%AD%A6%E7%9A%84%E5%B8%B0%E7%B4%8D%E6%B3%95-83259#E3.83.96.E3.83.AA.E3.82.BF.E3.83.8B.E3.82.AB.E5.9B.BD.E9.9A.9B.E5.A4.A7.E7.99.BE.E7.A7.91.E4.BA.8B.E5.85.B8.20.E5.B0.8F.E9.A0.85.E7.9B.AE.E4.BA.8B.E5.85.B8
コトバンク
(抜粋)
ブリタニカ国際大百科事典 小項目事典の解説
数学的帰納法
mathematical induction
自然数 n についてのある命題 A(n) において，A(1) は真である，ある任意の自然数 s について A(s) が真であると仮定すれば A(s＋1) もまた真である，という2つのことが証明されれば，A(n) はすべての自然数 n について真であるという推論が成り立つ。
この推論を数学的帰納法あるいは完全帰納法といい，自然数全体の集合を定義したペアノの公理系の第5公理を基礎に導かれる論法である。
そこでペアノの第5公理を数学的帰納法の公理と呼ぶ。

デジタル大辞泉の解説
【数学的帰納法】
数学で、自然数nの命題が、n＝1のときに成り立ち、次にn＝kのときに成り立つと仮定して、n＝k＋1のときにも成り立つことを証明すれば、この命題は任意の自然数nについて成り立つという証明法。完全帰納法。
(引用終り)
以上