Date: Mar 8, 2013 3:03 AM
Subject: Re: Matheology § 222 Back to the roots

On 7 Mrz., 22:59, William Hughes <> wrote:
> On Mar 7, 9:39 pm, WM <> 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

Regards, WM