:::Just read Charles Pinter's "A Book of Abstract Algebra" - it has an appendix on inductive proofs and was reminded of this. The Pinter book's text is similar to the article already in Conservapedia [[Proof_by_induction]]. The set under discussion must contain first "zero" and it also must contain all n+1 for any n in the set. Using the set of natural numbers, even if something is true for any natural number, that statement is not been proven for infinity, as infinity is not a natural number. It's confusing because infinity is often used as a real number (the integral of 1/x^2 from 1 to infinity results in the natural number one, for example). But in this case, any natural number however large is not the same as infinity. ([[User talk:AlChesapeake|talk]]) 10:48, September 18, 2022. | :::Just read Charles Pinter's "A Book of Abstract Algebra" - it has an appendix on inductive proofs and was reminded of this. The Pinter book's text is similar to the article already in Conservapedia [[Proof_by_induction]]. The set under discussion must contain first "zero" and it also must contain all n+1 for any n in the set. Using the set of natural numbers, even if something is true for any natural number, that statement is not been proven for infinity, as infinity is not a natural number. It's confusing because infinity is often used as a real number (the integral of 1/x^2 from 1 to infinity results in the natural number one, for example). But in this case, any natural number however large is not the same as infinity. ([[User talk:AlChesapeake|talk]]) 10:48, September 18, 2022. |