Is it required to use choice principles to prove that any linearly independent set can be extended to a basis?
Is axiom of choice required for there to be an infinite linearly independent set in a (non-finite-dimensional) vector space?