הוכחת משפט אי השלימות הראשון של גדל
מתוך Math-Wiki
גרסה מ־14:34, 12 באוקטובר 2011 מאת ארז שיינר (שיחה | תרומות) (יצירת דף עם התוכן "חזרה למשפטי אי השלימות של גדל (Gödel) ==הוכחת משפט אי השלימות הראשון של גדל== מכיוון שאוסף כ...")
חזרה למשפטי אי השלימות של גדל (Gödel)
הוכחת משפט אי השלימות הראשון של גדל
מכיוון שאוסף כל המשפטים בתאורייה הוא בן מנייה ניתן לתת לכל משפט בתאוריה מספר, נסמן מספר זה ב[]. לדוגמא: אם 
הוא המשפט השלישי בתאורייה אזי ![[s]=3](/images/math/e/0/f/e0f73c07f29d1d18c075b9d6589d28d8.png)
.
