בתשובה לדורון שדמי, 19/09/05 18:50
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330878
האייל הצעיר • בתשובה לדורון שדמי יום ב', 19/9/2005, 19:08
הוא דווקא עקב והגיב בדיוק בהקשר הנכון.
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330941
דורון שדמי • בתשובה להאייל הצעיר יום ב', 19/9/2005, 22:51
אז כנראה שלא הבהרתי את עצמי מספיק ברור:

כוונתי הפשוטה היא שאני בוחן המחדש את אקסיומת-הקיום של הקבוצה הריקה *כהכנה* לקראת הגדרת אקסיומת הקבוצה-המלאה.

בבחינה מחודשת זו אני מגלה את הסתירה הקיימת בבסיס אקסיומת-הקיום של הקבוצה הריקה והפתרון שאני נוקט (שינוי אקסיומת-הקיום של ZF להגדרה קיום ישירה ופשוטה של הקבוצה-הריקה כ: "קבוצה ללא כל תכולה") משרת גם את הגדרת הקבוצה-המלאה כ:"קבוצה המכילה אלמנט אשר אינו מאפשר לשום תת-אלמנטים להתקיים בתחומו".

האם מובן?
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש והצהרת נגישות © כל הזכויות שמורות