そして、実際には、「任意のベクトル　u, v　∈　V に対し、 u + x = v を満たすような V の元 x が一意的に存在する。」は成り立たないので、

>>420
金谷健一さんの公理系はベクトル空間の公理系とは異なる。


というのが本当のところではないでしょうか？