Slabý princip indukce

Nechť a budiž vlastnost celých čísel, která má smysl pro všechna .
Předpokládejme, že následující předpoklady jsou splněny:

1. Základní krok (ZK): platí.
2. Indukční krok (IK): Pro každé je pravdivá implikace "Jestliže platí , pak platí i ".

Potom dle slabého principu matematické indukce (slabé indukce) platí pro všechna .

Výrok v implikaci z indukčního kroku nazýváme indukční předpoklad.