벡터 공간의 정의, 공리 체계, 그리고 결정