In article <email@example.com>, firstname.lastname@example.org wrote:
> On Thursday, 27 February 2014 01:29:42 UTC+1, Virgil wrote: > > > > > > One can define a set of natural numbers via its successor operation > > > > prior to any definition of "addition of one" > > > No.
The von Neummann naturals are defined without any addition being required.
And thus prove WM wrong here, as in so many other ways. --