One of the classical uses of the existence of vector spaces is the following theorem:

> If $V$ is an infinite vector space over a field $F$, and $|V|>|F|$, then $|V|=\dim V$.

As a corollary, we immediately get that any two uncountable fields are isomorphic as additive groups if and only if they have the same cardinality. Proof? They have the same dimension over their prime field. So for example $(\Bbb R,+)\cong(\Bbb C,+)$.

Without the axiom of choice, things are not that nice. If every set is Lebesgue measure, or every set has the Baire property, then $(\Bbb R,+)$ and $(\Bbb C,+)$ are *not* isomorphic. Therefore there are two $\Bbb Q$-vector spaces of the same uncountable cardinality, which are not isomorphic.

> **Question.** Suppose that whenever $W,W'$ are uncountable $F$-vector spaces and $|W|=|W'|>|F|$, we have that $W\cong W'$. Does the axiom of choice holds?