antani
Posts:
115
Registered:
12/13/04


Re: A finite set of all naturals
Posted:
Aug 12, 2013 11:51 PM


In article <UHhOt.266168$Ln4.151439@fx24.iad>, Nam Nguyen <namducnguyen@shaw.ca> wrote:
> And of course arithmetically, induction, from a binary operation point > of view, would not be possible without addition, designated as '+'.
Induction depends on successorship and can quite easily be done without even defining addition.

