[shkkmo]

I would argue that all of those theorems work with nameable sets of real numbers but not with any unnamable real numbers themselves.