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

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

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

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