[kccqzy]

Yeah. I have had several different courses teach induction, and nobody really thinks of the WOP. I’m pretty sure most of them skips the WOP when introducing induction.

[seanhunter]

I’ve seen it used when people show a proof of induction as a theorem. Sometimes they just take the technique of induction as given and don’t prove it.