 |
לא לגמרי הבנתי.
אני לא יודע אם ואיך אפשר לנסח את אקסיומת הבחירה בשפה שתיארתי, וגם אם כן, ברי שזו תהיה גרסה חלשה שלה (בת-מנייה). אני אנסה להתעקש עוד פעם אחת להשאיר את השפה המורכבת של קבוצות מחוץ לתמונה, ולהסכים (או לא להסכים) על קיום ערך-אמת לפסוקים בשפה שתיארתי.
(המונח "מודל אמיתי למספרים הטבעיים" בעייתי בעיני, כי ל"מודל" יש פירוש פורמלי כמודל של מערכת אקסיומטית מסויימת. אני לא חושב על הטבעיים כמודל של כלום, אלא כמשהו שקודם למושגים "מודל" ו"הוכחה").
("המודל היחיד שקיים באמת" זה לא ביטוי שלי... הסברתי כבר שאני עובד בשמחה עם הממשיים, עם עולם הקבוצות של ZFC, עם קטגוריות, וכו'. לענייננו כרגע אני מבקש להתרכז במושג פשוט: המספרים הטבעיים).
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש