Not in a meaningful way I think. I mean you could weaken it to 'all finite vector spaces have a basis', but I think regular induction is enough to prove that, y

Not in a meaningful way I think. I mean you could weaken it to 'all finite vector spaces have a basis', but I think regular induction is enough to prove that, you don't need the axiom of choice.