19/03/10 07:45:16.39 rk/29Zdt.net
>>139
つづき
URLﾘﾝｸ(kotobank.jp)
コトバンク
(抜粋)
ブリタニカ国際大百科事典 小項目事典の解説
数学的帰納法
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について成り立つという証明法。完全帰納法。
(引用終り)
以上