Inductio plena
Inductio plena vel inductio mathematica est ratio demonstrandi pro sententiis numerorum naturalum.

Ratio
Inductio plena ex duobus rebus constat: Ex incepto inductionis ac gradu inductionis

Inceptum inductionis
Ad inceptum inductionis probandam probari, ut sententia vel pro numero uno vel nullo (prout nullus inter numeros naturales numerat), debet.

Gradus inductionis
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
Summa omnium numerorum naturalum de uno ad  est .

Inceptum inductionis
 

 
Hoc verum est.

Gradus inductionis
Demonstrandum: , si  est.

Arithmetica
Logica
Mathematica