מצד שני שקרי כי נוצר מצב שבו יש שני אנשים- מה שלא נכון לעולם שיצרנו.אז בעצם יוצא מצב "לא מוגדר" שכזה? וזה נופל פה? כי הצד של ה-6 סוג של "לא מוגדר"? מקווה שניסחתי ברור..
: טענה 6 נכונה בעולם שהגדרנו. אם תסתכל על הנוסחא של טענה 6 (בשאלה 2), תראה שהיא מוגדרת <math>(\exist n\in\N: R(p,n))\to ...</math>. החלק הראשון (לפני גרירה) הינו שקרי ולכן לא משנה מה יהיה אחרי קשר גרירה, כי משקר אפשר להסיק כל דבר וזה יהיה אמת. לכן טענה 6 נכונה ואני אפילו לא מתייחס לשאלה האם קיים בנאדם שני בעולם שלנו. טענה 5 כפי שכתוב בתשובה היא שקרית. ולכן מקבלים ש- <math>(6)\to (5)</math> שקרית. (בתשובה יש טעות קטנה של מספור הטענות, הועלה קובץ מתוקן)--[[משתמש:Grisha|Grisha]] 20:49, 23 ביולי 2012 (IDT)
*** הבנתי! ואז זה t--> f אז זה false סה"כ. אם לא אכפת לך, אני רוצה לקחת את זה עוד צעד ולשאול:
אם לצורך העניין משפט 5 היה: אם קיימים 2 אנשים אז הם עם אותו שם- אז בעולם שיצרתי זה כן היה גורר. כי אז שוב ההנחה של 6 שגויה ולכן סה"כ הוא אמת (באופן ריק) אבל הפעם גם ההנחה של 5 שגויה (כי אין 2 אנשים בעולם שיצרנו) ולכן נוצר מצב ריק של true גורר true?