Talk:Equivalence of Well-Ordering Principle and Induction

It's a little silly to talk about equivalence between tautologies - it would seem more meaningful (and useful) if this statement were generalized to induction on well-founded or well-ordered sets. --asalmon