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