I'm a bit confused on the subject of transfinite induction. I've read that it is equivalent to usual induction on the ordinal number ω (presumably a proof of this can be found in a standard book on the subject - any suggestions?) Does anyone have an example of a case in which this isn't true? In other words where these two forms of induction do not coincide? I can't seem to think of one myself.