בתשובה לדורון שדמי, 19/09/05 17:08
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330845
700 פעם אתה מציע לכולם להכניס את הקבוצה המלאה לתורת הקבוצות, ולראות מה יוצא מזה - ועכשיו אתה אומר "אני לא מכניס שום דבר"?
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330863
אייל אלמוני,

לפני שאתה מגיב כדי שתעקוב קודם אחר השתלשלות הדיון, כדי להנמע בעתיד מהוצאת דברים מהקשרם.

תודה.
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330878
הוא דווקא עקב והגיב בדיוק בהקשר הנכון.
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330941
אז כנראה שלא הבהרתי את עצמי מספיק ברור:

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

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

האם מובן?

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

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים