עזרה בשעורי בית 316764
מה התשובה על התרגיל לקורא?
עזרה בשעורי בית 316777
אם יש לך כמה אקסיומות (נניח PA) שלא מוכיחות משהו (נניח C, שהיא הטענה "PA עקבית"), זה בדיוק אומר שהן לא מסוגלות לסתור את שלילתו של אותו משהו (שאחרת, היו מוכיחות אותו...), שזה בדיוק אומר שלא ניתן להגיע ל"...סתירה. מש"ל!" אם מתחילים מהן וממנו, שזה בדיוק אומר שצירוף שלילתו אליהן לא מוביל לסתירה, שזה בדיוק אומר שצירוף שלילתו (C~) אליהן (ל-PA) יוצר מערכת שלא-מוכיחה-סתירה, כלומר מערכת עקבית (Z).
עזרה בשעורי בית 316778
(''אם מתחילים מהן ומשלילתו'', צ''ל. מבלבל העסק הזה).
עזרה בשעורי בית 316789
ד'רבה.

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

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