 Some constructivists accept the existence of only those reals that are computable.The set of definable numbers is broader, but still only countable.In set theory, specifically descriptive set theory, the Baire space is used as a surrogate for the real numbers since the latter have some topological properties (connectedness) that are a technical inconvenience.