In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 19 Jun., 10:06, Sylvia Else <syl...@not.here.invalid> wrote: > > On 19/06/2010 4:11 PM, |-|ercules wrote: > > > > > To support your argument you should at least show that you've formed a > > > new sequence of digits. > > > > I'll explain it simply then. The first digit of the created number > > differs from the first digit of the first number in the list. The second > > digit differs from the second digit of the second number in the list. > > > > In general, digit n differs from digit n of the nth number in the list. > > > > So for all n, the created number differs from number n. Therefore the > > created number is not in the list - it is a new sequence of digits. > > Who constructed your list? Has it been constructed in an infinite > process? Or has it been defined by a finite definition?
In FOL+ZFC things exist without being "constructed" in WM's sense.