בתשובה לאלון עמית, 10/06/07 22:11
מה עם התגובה שאתה חייב לי? 446566
אופס, פירשתי את ה"לא, היא לא." כמכוון ל-"משתמשת בהנחות שלא ב-PA".
עדיין, זה נכון שכשמשתמשים במשפט גדל על PA הוא לא פוסל את הוכחת גנצן לעקביות PA, ולו רק משום שהיא משתמשת בעוד אקסיומות, או מנקודת המבט שלו היא "באורך אינסופי".

בכל אופן, אין ספק שלו אני הייתי שולח את המאמר הזה, הוא היה נדחה בהליך מהיר.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים