Talk:Natural Number is Not Equal to Successor

Why use induction? Can't we simply use the argument from the basis for every $n$? &mdash; Lord_Farin (talk) 08:15, 27 September 2015 (UTC)


 * To quote : 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. &mdash; Lord_Farin (talk) 15:44, 11 October 2015 (UTC)