ベクトル空間の定義、公理系,および決定