בתשובה לד.ק., 20/07/05 20:03
 |
|
 |
||
|
||||
 |
א. כן, ZFC מוכיחה עקביות PA (מה זה עקביות *ב*-ZFC?). ראה תשובה מפורטת יותר לעוזי מתישהו מאוחר יותר. ב. לא. ג.במובן מסוים כן. ד. ZFC חשופה למשפט גדל ללא קשר מכיון שהיא תורה אריתמטית ואפקטיבית. |
 |
 |
 |
|
|
|
||
|
||||
|
א. מאחר ואנחנו לא יודעים אם ZFC בעצמה היא עקבית, אנחנו גם לא בטוחים שההוכחה שלה את עקביות PA היא נכונה. כלומר, PA מוכחת כעקבית רק בתוך ZFC, לא? | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |