Date: Feb 4, 2013 4:48 PM
Author: Virgil
Subject: Re: Matheology � 203

In article 
<52da52b8-a093-4a27-8b52-8cee878dc323@r3g2000yqd.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 4 Feb., 13:19, William Hughes <wpihug...@gmail.com> wrote:
> > On Feb 4, 1:05 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> > So we have according to WM
> >
> > 0.111...
> >
> > is not a single line of
> >
> > 0.1
> > 0.11
> > 0.111
> > ...
> >
> > and
> >
> > there is no list of every 0/1 sequence.

>
> You have to distinguish more carefully: There is nothing of such a 0/1-
> sequence that you can name and that was missing from every line of an
> appropriate list.

Ever such FIS corresponds to a member of |N, and every list of FIS's
that is not infinite has a last one, which has a successor.
So WM cannot produce a list which is complete.
>
> And there is no list of every FISON in exaxtly the same sense. Thus it
> is impossible to distinguish countability and uncountability in
> potential infinity.


But it is impossible to impose the nonsense of potential infiniteness on
ZF or most other set theories.
--