Inductio plena
Inductio plena vel inductio mathematica est ratio demonstrandi pro sententiis numerorum naturalium.
Ratio recensere
Inductio plena ex duobus rebus constat: Ex incepto inductionis ac gradu inductionis
Inceptum inductionis recensere
Ad inceptum inductionis probandam probari, ut sententia vel pro numero uno vel nullo (prout nullus inter numeros naturales numerat), debet.
Gradus inductionis recensere
Praesumitur, ut sententia verum est pro numero . Si tum fieri potest sententiam pro numero probare atque inceptum inductionis est, sententia vera est pro omnibus numeris naturalibus.
Exemplum recensere
Summa omnium numerorum naturalum de uno ad est .
Inceptum inductionis recensere
Hoc verum est.
Gradus inductionis recensere
Demonstrandum: , si est.