On 3/30/2013 5:45 PM, WM wrote: > > Then explain why this is not possible in the Binary Tree. You said > that the irrationals come into the tree automatically, impossible to > distinguish by nodes.
No one is saying things like "come into the tree" except WM.
There is no such thing as a finite path in a complete infinite binary tree.
There is a logical type difference between the class of individuals in the complete infinite binary tree sharing the same finite initial segment and the the representation of the finite initial segment shared by that class.
By the way, it looks like WM took his ball home and does not want to play with me anymore.