בתשובה לעוזי ו., 28/09/05 20:51
 |
|
 |
||
|
||||
 |
בהנחה ואימצנו את ה-axiom of foundation, התשובה לשאלה הראשונה היא כן. |  |
 |
 |
|
|
|
||
|
||||
|
האם ניתן להוכיח ב-ZF שכל איבר של קבוצה הוא קבוצה? | |
|
|
|
|
|
||
|
||||
|
אפשר להתעלם מהשאלה. הרגע הבנתי שהתשובה היא כן. | |
|
|
|
|
|
||
|
||||
|
ZF מדברת על קבוצות, לא על כלבים וחתולים. כל x שנמצא שם בכל נוסחה הוא קבוצה. להדגמה, איך היית מנסח את הנוסחה "x הוא קבוצה" ב-ZF? | |
|
|
|
|
|
||
|
||||
|
כבר הבנתי שזו שאלה טיפשית. תגובה 334412. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |