FFF
1. הנחת שהיא שייכת וקיבלת סתירה -> F 2. הנחת שהיא לא שייכת וקיבלת סתירה -> F עכשיו נצרין את המשפט "אם קבוצה שייכת לA אז היא לא שייכת לעצמה" ונציב את הערך שקיבלת: A שייכת לA => היא (A) לא שייכת לעצמה ובהצבת 1,2 F => F או, לפי הניסוח שלך בתחילת ההודעה, אתה אמרת B אמ"מ (לא B). תחילת ההודעה שלי מסיקה ש B הוא F וגם ש (לא B) הוא F (כשאני כותבת = הכל מתחרבש). נציב, ונקבל F<=>F, שאין בו שום בעיה ע"פ האקסיומות שלמדנו בבדידה, פרדיקטים אנד אול דט.