In article <firstname.lastname@example.org>, email@example.com wrote:
> Here we talk about mathematics performed in English. There definable and > uncountable exclude each other, not only "in a certain way".
Not at all. Every real open interval of positive length with defineable endpoints (like rationals, or defineable irratonals like roots of positive rationals) contains uncountably many individually undefineable reals.
Thus defineable intervals of positive length include individually undefineable reals.
At least everywhere outside of WM's wild weird world of WMytheology. --