Mathematical induction: deductive logic perspective