בתשובה לשואל, 02/09/19 15:43
מספרי גדל ואינסוף אקטואלי, שאלה 708901
שואל • בתשובה לשואל יום ד', 4/9/2019, 13:45
אציין כי בשאלתי הנ"ל ניתן להחליף את x --> xU{x} ב-x --> {x},כדלקמן:

מבחינה תחבירית (ללא הענקת משמעות (ללא סמנטיקה)) קיים קובץ אינסופי A כך ש-{} שייכת ל-A, ולכל x השייך ל-A, האיבר {x} שייך גם הוא ל-A (זהו למעשה תיאור מילולי קבוצה אינדטקדיבית עפ"י גרסתו של צרמלו).

מבחינה תחבירית x --> {x} הינה פונקצית שייכות חח"ע של A.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש והצהרת נגישות © כל הזכויות שמורות