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