On 7 Mrz., 22:59, William Hughes <wpihug...@gmail.com> wrote: > On Mar 7, 9:39 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > To talk of d without further specification is silly. > > WM: There does not exist > (in the sense of not findable) > a natural number m such that > the mth line of L is coFIS with > d > > No mention of the state of d. So I guess > we can talk of whether d is coFIS with > a line without mentioning > the state of d.
Mentioning d means you are talking about actual infinity, namely all FISs of d. But in potential infinity we have only *every* FIS of d. For every FIS of d there is a g. > > Do you agree with the statement > > g is not coFIS with d.
There is no d in potential infinity. We can talk about the d of actual infinity, evaluate its properties and finally find out that it is contradictory.