On 29 Okt., 01:56, William Hughes <wpihug...@gmail.com> wrote: > On Oct 28, 5:31 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > If so, you have shown that b_oo does not exist, because it cannot be > > distinguished from all the other elements whereas every other element > > can be distinguished from all others. > > Trivially: forall n in N [ b_oo =/= b_n ]
It is not meant how you distinguish b_oo from every b_n, but from all. > > So you must mean something else by "[b_oo] cannot be distinguished > from all the other elements".
Remember the Binary Trees. How do you distinguish the complete infinite Binary Tree containing all infinite paths and the incomplete infinite Binary Tree containing all paths except the infinite paths.
