本章小結

? 強歸納法與基本歸納法有兩方面不同：

1.歸納基礎可以是多個值，要證明謂詞對從n₀到n₁（在基本歸納法中只有一個值n₀）的所有值都成立。

2.歸納假設斷言謂詞對于小于某個確定的n的所有值都成立，其中n≥n₁（而在基本歸納法中的歸納假設謂詞僅對n≥n₀成立）。

? 歸納證明也適用于命題在有限多個情況下為假的情況。在這種情況下，選擇的最小歸納基礎n₀使得P（n）為真，并且對于任意的n≥n₀，P（n）都為真。歸納步驟不依賴于任何命題為假的情況。

? 強歸納法比基本歸納法更加便利：能用強歸納法證明的任何東西也可以采用基本歸納法證明。

? 良序原理（即任何非負整數的非空集合都有一個最小的元素）等價于歸納法。