is bijective. This sounds easy enough. One should bear in mind, however, that nobody is able to write down explicitly a basis for such innocent Q-vector spaces as the real numbers V = R or the infinite product V = ∏∞ m=1Q. Indeed, to establish the existence of a basis in infinite-dimensional vector spaces one has to use the axiom of choice, or equivalently Zorn’s Lemma, and thereby abandons all...