Vector Space has Basis

Theorem
Let $K$ be a division ring.

Let $V$ be a vector space over $K$.

Then $V$ has a basis.

Proof
The result follows from Vector Space has Basis between Linearly Independent Set and Spanning Set:

By Empty Set is Linearly Independent, $L$ can be taken to be the empty set.

Or if $V$ is nonzero, by Singleton is Linearly Independent, $L$ can be taken to be any singleton of $V$.

$S$ can be taken to be $V$, since $V$ trivially spans itself.

Therefore, $L$ and $S$ exist and $L\subset S$ so $V$ has a basis $B$ with $L\subset B\subset S$.

Also see

 * Finitely Generated Vector Space has Basis