Talk:Definition by Induction of Natural Number Addition

The text following "This can be expressed as:" is easier to read than the text before it. So what is the point of initial, more complicated definition?--TonyH (talk) 14:01, 29 September 2013 (UTC)