In article <firstname.lastname@example.org>, WM <email@example.com> 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, which is the unary equivalent of his binary tree delusions. --