 |
ההקלה שלך הקשתה עליי: אני לא מבין את המשפט "קבוצה שהיא האיבר של עצמה היא בהכרח לא זהה לעצמה".
אגב, הוכחת אי-קיום בדרך השלילה היא בעייתית משהו. אם הייתי מביא לך מחלקה מסוימת ושואל אותך האם זו קבוצה, התשובה שלך הייתה "כן, אלא אם כן ההגדרה שלה מובילה לסתירה". במילים אחרות, "כן, כל עוד לא הוכח אחרת".
לפי הגישה הזאת, אנחנו עוסקים בעולם של קבוצות, שהטענות היחידות שניתן לטעון בו הן טענות נוסח "אולי קיימת קבוצה A...". כך, למעשה, אנחנו לא יכולים לטעון שום דבר לגבי הקבוצות.
לכן עדיף לנקוט בגישה הקונסטרוקטיבית של ZF. לא לחפש סתירה בהגדרה של קבוצה מסוימת, אלא להתייחס מלכתחילה רק לקבוצות שאנחנו יכולים לבנות ע"פ כללים מסוימים.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש