Mathematical Induction

The method known as mathematical induction is generally thought to have been introduced by Pascal (circa 1654), although a contrapositive form called the 'method of infinite descent’ was used by Fermat a little earlier. The name ‘mathematical induction’ was first used by De Morgan.