Date: Mar 21, 2013 12:48 PM
Author: Virgil
Subject: Re: Matheology � 224

In article 
WM <> wrote:

> On 21 Mrz., 11:36, YBM <> wrote:
> > Le 21.03.2013 07:54, WM a crit :
> >

> > > Every not necessary line can be removed. Why do you think there should
> > > remain unnecessary lines? And if they are needed, which it the first
> > > unnecessary line that must remain?

> >
> > Which is the leg which is necessary in order for a dog to have more
> > than two legs?
> >

> Try to understand set inclusion.

Try to understand the world of mathematics outside your own
WMytheology, WM.

In order for a set of vNaturals to contain all naturals it must NOT
1. be empty, or
2. have a last/largest vNatural member.


WM claims to know how to map bijectively the set of infinite binary
sequences, B, linearly to the set of reals and then map that image set
of reals linearly ONTO the set of all paths, P, of a Complete Infinite
Binary Tree.

But each binary rational in |R is necessarily the image of two sequences
in B but that one rational can then only produce one image in P, so the
mapping cannot be the bijection WM claims.

SO that WM is, as usual with things mathematical, wrong.