In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> Cantor > proved that the set of definable reals in uncountable.
But WM, in other posts, denies the existence of any uncountable sets.
Given that the set of reals is uncountable, and thus the subset of them in the real interval [O,1) is also uncountable, one can inject this set of reals into the set of paths in a complete infinite binary tree, so that the set of such paths must be at least equally uncountable.
But WM still insists he can have a countable set of paths that includes them all.
Wm must have a really magical shoe horn to get an uncountably large foot not an only countably large shoe.
But in proper math, such magic is not allowed, not even by WM. --