Add axioms of a vector space