For loops, while loops, and recursion are all induction. Functional programming is just a style of programming, as in, algorithms which are designed and proven using induction can be implemented in imperative or functional styles.