Possible Duplicate:
Finite dimensional subspaces of a linear space
I know that "every vector space has a basis" is equivalent to the "Axiom of Choice".
My question: Can I prove that $\mathbb{R}^k$ has a basis (where $k\in \mathbb{N}$) only with ZF? If so, how?