Talk:Principle of Mathematical Induction

I added this page and Second Principle of Mathematical Induction to the Proofs by Induction category. Seeing as they are the basis for the proofs in that category, I thought it made sense. However, I did not add Principle of Finite Induction or Second Principle of Finite Induction to this category. I don't know what other people think would make sense for these in terms of category assignments. --cynic 20:12, 30 September 2008 (UTC)

I'd have no problems with Finite Induction going in there as well.

The "Mathematical Induction" ones are at a "higher level" than the "finite induction" ones (in the computer programming sense), in that they're more user friendly from the point of view of using them in proofs. The "finite induction" ones are there mainly because they need to be proved first before the "mathematical induction" ones can be validated. --Matt Westwood 20:56, 30 September 2008 (UTC)

Okay, done. --cynic 23:17, 30 September 2008 (UTC)