El método de demostración aplicable a un conjunto numerable de proposiciones (inducción matemática). Para demostrar que todas son ciertas debe probarse que la primera lo es y que, suponiendo válida la proposición n., también lo es la proposición (n. + 1).