Date: Mar 22, 2013 5:13 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 22 Mrz., 09:54, Virgil <vir...@ligriv.com> wrote:
> On 3/22/2013 1:38 AM, WM wrote:
>

> > This proves that we can remove all finite lines from the
> > list without changing the contents of the remaining list. And this is
> > remarkable, isn't it?

>
> Since WM also claims that all the lines of that list are finite lines,
> WM is now claiming one can trow out the entire contents of a list and
> still have the entire original list in place.


That is a consequence of the completed infinity of set theory.
>
> Unfortunately, as in the above claim, what WM claims to be the case


can be proven by induction that holds for every finite line.
Every number that belongs to line n belongs to the next lines too.

If you are of different opinion, please name a finite line that is not
covered by induction.

Regards, WM