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)