wikiの公理なら無理じゃない
0の存在のところを抜いたら V={ } としても問題ないし