Date: Mar 8, 2013 3:03 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

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.

Regards, WM