In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 24 Jan., 09:32, Virgil <vir...@ligriv.com> wrote: > > In article > > <395bea71-7f73-49dc-94d0-5a422088d...@z8g2000yqo.googlegroups.com>, > > > > WM <mueck...@rz.fh-augsburg.de> wrote: > > > The following is copied from Mathematics StackExchange and > > > MathOverflow. Small wonder that the sources have been deleted already. > > > > > How can we distinguish between that infinite Binary Tree that contains > > > only all finite initial segments of the infinite paths and that > > > complete infinite Binary Tree that in addition also contains all > > > infinite paths? > > > > WM also distinguishes between the union of all finite initial segments > > of |N and |N itself, > > Is the set of all terminating decimal expansions of real numbers of > the unit interval not a set?
It is not a set in WMytheology, according to WM's prior posts.
> Is it poorly defined? Do not all its > elements exist in ZF? (Not even AC is necessary.) Is it impossible to > distinguish a non-terminating decimal like that of 1/3 from all > terminating decimals? > > The infinite set T of all terminating decimals t_i exists.
It is not a set in WMytheology, according to WM's prior posts. --