Talk:Natural Number is Not Equal to Successor
Jump to navigation
Jump to search
Why use induction? Can't we simply use the argument from the basis for every $n$? — Lord_Farin (talk) 08:15, 27 September 2015 (UTC)
- To quote 1964: W.E. Deskins: Abstract Algebra: Exercise $2.1: \ 7$: "Prove the proposition $P \left({n}\right): n \ne n + 1$ by mathematical induction. (Hint: Use Axiom E.)"
- No reason not to add a second proof, of course. --prime mover (talk) 10:03, 27 September 2015 (UTC)
- Done. — Lord_Farin (talk) 15:44, 11 October 2015 (UTC)