Theory of Mathematical Induction