{\displaystyle \forall x\forall y(x+y\leq z)\to \forall x\forall y(x+y=0).}