In 1838 he defined and introduced the term 'mathematical induction' putting a process that had been used without clarity on a rigorous basis.
Sa 1838 na tinukoy niya at ipinakilala ang mga kataga ng 'matematiko pagtatalaga sa tungkulin' paglagay ng isang proseso na may nagamit na walang kalinawan sa isang mahigpit na batayan.