 |
משפט אחר של גדל, דומה ברוחו, אומר שאף מערכת (חזקה מספיק) אינה יכולה להוכיח את העקביות של עצמה. לכן, אם מעוניינים להראות ש-ZF עקבית, יש לעבוד במערכת אחרת - אולי ZF עם עוד אקסיומות, אולי משהו אחר. לא מוכרות לי מועמדות מוצלחות למערכות כאלה. מהי מועמדת מוצלחת? כזו שהאקסיומות שלה נראות מובנות-מאליהן, כמו אלו של ZF; מה זה "מובן מאליו" זו כבר שאלה די נזילה.
הבעייה היא שאם אותה מערכת חדשה המוכיחה את עקביות ZF - נקרא לה GA - היא מובנת-מאליה, אין סיבה שלא נהפוך *אותה* למערכת המתמטית הסטנדרטית, נוציא את ZF לגמלאות, ונישאר תקועים עם השאלה "האם GA עקבית?". אם GA איננה ממש מובנת-מאליה, אני לא חושב שמישהו ירצה לקבל אותה: הרבה יותר פשוט סתם להניח שאי-אפשר להוכיח ב-ZF ש-5=2+2.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש