In 1838 De Morgan defined and introduced the term 'mathematical induction' putting a process that had been used without clarity on a rigorous basis.