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


 * Why? --GFauxPas 09:58, 29 November 2011 (CST)