2010-05-23 memo What is the relationship between induction and algebra? What is the relationship between formal proof and induction? structural induction is a proof method to prove object x, which is recursively defined, has some property p