שינויים

<math>\exsits x\exists y:R(x,y)\and wedge \forall z(R(x,z)\rightarrow (z=y))</math>

<math>\neg \exsits x:p(x)\and wedge N(x)</math>

<math>\forall x : \exists n : R(x,n)\rightarrow \exists y R(y,n)\and wedge \neg(x=y)</math>