|
אכן אין חלוקה מדוייקת של שפת המתמטיקה לקבוצה סופית ומבחנת בבירור (כפי שניתו ללמוד מ-http://www.math.niu.edu/~rusin/known-math/index/tour... ) .
לצערי שכחתי לכתוב 61 במרכאות ("61"), אך ללא ספק עצם קיומה של השיטה הדדוקטיבית מבוססת על "עולמות" תלויי-הקשר, ובכל "עולם" יכול מושג מסיום לקבל פירוש שונה מאשר "עולם" אחר, ולכן אין זה מספיק להשתמש במושג מסוים, אלא יש להבין את השימוש המדויק בו במסגרת "עולם" מתמטי נתון, ולכל "עולם" כזה מומחים משלו.
כמובן שיש מספר מושגים "חוצי-עולמות" המשמשים כמושגים בסיסיים, ואחד מהמושגים האלה הינו מושג הקבוצה.
עבודתי מתמקדת בשינוי יסודי של מושג הקבוצה, על-ידי הכלת השימוש במושג הקבוצה-המלאה כאלמנט משלים לקבוצה הריקה.
|
|