בתשובה להאייל הצעיר, 03/10/05 18:33
 |
|
 |
||
|
||||
 |
דווקא את foundation? יש לשים לב שאקסיומת האינסוף כבר מכילה את ההנחה שיש קבוצה ריקה. אם היינו מנסחים אותה בלי הקבוע המסמל את הקבוצה הריקה {}, זה כנראה היה נראה ככה: "קיימת קבוצה N כך שאם X היא קבוצה ללא איברים אז X שייך ל-N וגם אם Y שייך ל-N אז Y איחוד {Y} שייך ל-N." כשמנסחים את זה ככה אני לא רואה את הסתירה המיידית. מצד שני, קיום קבוצה כלשהי + אקסיומת ההפרדה => קיימת קבוצה ריקה. |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |