|
||||
|
||||
בעצם יש לי פתרון גם לסעיף א': נגדיר "אוסף" כזוג סדור של קבוצה A ופונקציה f מקבוצה A לקבוצה N. |
|
||||
|
||||
אני חושד שהבעיה המרכזית של דורון היא שהוא לא מוכן לקבל מצב שבו האובייקטים שעליהם הוא מדבר מורכבים מאובייקטים יותר בסיסיים ופשוטים, אלא רוצה להניח את קיומם כאקסיומות היסודיות. לכן *אסור* לך להשתמש בקבוצה כדי להגדיר משהו שדורון מדבר עליו. |
|
||||
|
||||
מה שמשעשע זה שאם אנחנו לא יכולים לעשות את זה (בתוך תורת הקבוצות), הוא רואה את זה כהוכחה לליקוי חמור בגישה האקסיומטית. |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |