טרחנים כפייתיים במתמטיקה

בתשובה להאייל הצעיר, 19/09/05 19:08

מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה

330941

דורון שדמי • בתשובה להאייל הצעיר

יום ב', 19/9/2005, 22:51

אז כנראה שלא הבהרתי את עצמי מספיק ברור:

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

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

האם מובן?

חזרה לעמוד הראשי

המאמר המלא

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