Su antecedente es un método de demostración, llamado inducción completa, por aplicación reiterada de un mismo silogismo que se extiende indefinidamente y que usó Maurolyco (1494-1575) para demostrar que la suma de los primeros formula_55 números naturales impares es el cuadrado del formula_55-ésimo término, es decir formula_57.