Existence of Bases for Vector Spaces