Existence of Vector Space Bases implies Axiom of Choice

From ProofWiki
Jump to: navigation, search

Theorem

The supposition that every vector space has a basis, along with the Zermelo-Fraenkel axioms, implies that the axiom of choice holds.


Proof

Blass, 1984