שינויים

<math>\lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y)))</math>