שינויים

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

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