Es posible demostrar según el Axioma de Elección (o más directamente, en función a alguna de sus formas equivalentes como el Lema de Zorn o el Principio maximal de Hausdorff), que todo espacio vectorial no trivial admite una Base de Hamel.