In article <email@example.com>, firstname.lastname@example.org wrote:
> On Sunday, 4 May 2014 01:03:17 UTC+2, Virgil wrote: > > > > Only if one assumes that every real number must have an individual > > definition > > In real mathematics real numbers *are* individual definitions or sets of > individual definitions. Only in matheology, > undefinable definitions and unthinkable thoughts are admitted.
Even in WM's wild weird world of WMytheology, one can define a set without accompanying it with an individual definition for each of the members of that set.
Thus the definition of the set of all real numbers does not require simultaneous individual definitions for each of its members, wish is just as well, as there are nowhere near enough individual definitions to be able to do so. --