Three forms of mathematical induction