Dícese del método de demostración aplicable a un conjunto numerable de proposiciones. 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).