 |
אתה משתמש באות N כל פעם במובן אחר: פעם היא קבוצת הטבעיים, פעם היא מקיימת
N={N}
זה מאוד מבלבל. כדאי שנשאיר את N כסימן לקבוצת הטבעיים, ואת האות A כסימן לקבוצה-הלא-קיימת-שהיא-האיבר-היחיד-של-עצמה, כפי שעשה גדי בתחילת הפתיל, בתגובה 331834.
גופא, בהנחה שבתגובה 331856 לא התכוונת לקבוצת הטבעיים, גדי ואני מסכימים איתך בכל מילה (מלבד, אולי, הניסוח של הפסקה האחרונה. אבל המסקנה, בכל זאת, נכונה).
***
לגבי הפיסקה האחרונה שלך: אף אחד משני הצדדים לא חושב שקיימת קבוצה שהיא האיבר היחיד של עצמה. ההבדל הוא שאנחנו חושבים שזה בגלל האקסיומה הנ"ל והאקסיומות בכלל, ואתה חושב שזה "ברור". כשאנחנו מנסים ללכת עם הגישה שלך, אד אבסורדום, אתה פתאום קופץ וצועק "אבל זה סותר את האקסיומות שלכם!"
ודאי ש-ZF מתמודדת יפה מאוד עם הפרדוקס של ראסל. השאלה שעומדת למבחן היא איך הגישה שלך מתמודדת איתו.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש