0433132人目の素数さん2021/02/22(月) 15:22:33.87ID:ZA1BxG4s Vを空でない集合とし、Wikipediaのベクトル空間の8つの公理のうち「加法単位元の存在」の公理と「加法逆元の存在」の公理を除き、 「任意のベクトル u, v ∈ V に対し、 u + x = v を満たすような V の元 x が存在する。」を付け加えた7つの公理から
「任意のベクトル u, v ∈ V に対し、 u + x = v を満たすような V の元 x が一意的に存在する。」は証明できないと予想します。