0の存在仮定してないなら加法の逆元の存在の公理はどうするん?