Yes. Induction is the mathematics equivalent of recursion. Well, at least if you stay within the space of finite things.

Example: prove that a tree of size n has exactly n-1 edges.