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.