שינויים

נוכיח: יהי <math>x</math> צריך למצוא <math>y</math> כך שמתקיים <math>P(x,y) \oplus \lnot P(y,y)</math> ניקח את <math>y</math> להיות <math>x</math> ואז זה נקבל <math>P(x,x)\oplus \lnot P(x,x)</math> וזה אכן מתקיים. (בשיעור עשיתי הפוך לקחתי את <math>x</math> להיות <math>y</math>, וזה לא עוזר...)