What is the basis for $\displaystyle \mathbb{R}$ viewed as a vector space over the rational field? It certainly does exist, but has anyone dared to find it? Has anyone dared to find the dimension? (If not then, this is one of the things I love about math, nobody found it but shown that it exists).