On Friday, 27 December 2013 22:18:37 UTC+1, Virgil wrote:
> > > > > Only in matheology numbers can be believed to exist without being > > > individualized. > > > > If WM claims that "individualizing" numbers is so central to all > > mathematics, WM should certainly be able to provide some standard formal > > definition of what "individualizing" a number consists of, AND show that > > that definition is widely accepted in mathematics. >
A number has been individualized if the due information can be transmitted and the receivers can understand what is meant. Of course that is accepted in mathematics because otherwise discourse, dialogue and monologue involving numbers was impossible. Whether this fact has been formalized is to be doubted because nearly no really important item of mathematics has been formalized. But that is of little interest, since even the most foolish ideas like countability and uncountability have been formalized.