ABSTRACT
There are many forms of mathematical induction-weak, strong, and backward, to name a few. In what follows, n is a variable denoting an integer (usually nonnegative) and S(n) denotes a mathematical statement with one or more occurrences of the variable n.
