שינויים

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

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