|
||||
|
||||
700 פעם אתה מציע לכולם להכניס את הקבוצה המלאה לתורת הקבוצות, ולראות מה יוצא מזה - ועכשיו אתה אומר "אני לא מכניס שום דבר"? |
|
||||
|
||||
אייל אלמוני, לפני שאתה מגיב כדי שתעקוב קודם אחר השתלשלות הדיון, כדי להנמע בעתיד מהוצאת דברים מהקשרם. תודה. |
|
||||
|
||||
הוא דווקא עקב והגיב בדיוק בהקשר הנכון. |
|
||||
|
||||
אז כנראה שלא הבהרתי את עצמי מספיק ברור: כוונתי הפשוטה היא שאני בוחן המחדש את אקסיומת-הקיום של הקבוצה הריקה *כהכנה* לקראת הגדרת אקסיומת הקבוצה-המלאה. בבחינה מחודשת זו אני מגלה את הסתירה הקיימת בבסיס אקסיומת-הקיום של הקבוצה הריקה והפתרון שאני נוקט (שינוי אקסיומת-הקיום של ZF להגדרה קיום ישירה ופשוטה של הקבוצה-הריקה כ: "קבוצה ללא כל תכולה") משרת גם את הגדרת הקבוצה-המלאה כ:"קבוצה המכילה אלמנט אשר אינו מאפשר לשום תת-אלמנטים להתקיים בתחומו". האם מובן? |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |