השינוי האחרון נעשה בֹ־12 באוקטובר 2011 ב־14:34

הוכחת משפט אי השלימות הראשון של גדל

גרסה מ־14:34, 12 באוקטובר 2011 מאת ארז שיינר (שיחה | תרומות) (יצירת דף עם התוכן "חזרה למשפטי אי השלימות של גדל (Gödel) ==הוכחת משפט אי השלימות הראשון של גדל== מכיוון שאוסף כ...")

(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)

חזרה למשפטי אי השלימות של גדל (Gödel)

הוכחת משפט אי השלימות הראשון של גדל

מכיוון שאוסף כל המשפטים בתאורייה הוא בן מנייה ניתן לתת לכל משפט בתאוריה מספר, נסמן מספר זה ב[]. לדוגמא: אם s הוא המשפט השלישי בתאורייה אזי [s]=3.