[hopler]

If induction proofs tell you nothing, how is a true theorem different from a false theorem?

An induction proof shows the recursive internal structure of a mathematical object.