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 h

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.