נוספו 416 בתים,
14:34, 12 באוקטובר 2011 חזרה ל[[משפטי אי השלימות של גדל (Gödel)]]
==הוכחת משפט אי השלימות הראשון של גדל==
מכיוון שאוסף כל המשפטים בתאורייה הוא בן מנייה ניתן לתת לכל משפט בתאוריה מספר, נסמן מספר זה ב[]. לדוגמא: אם <math>s</math> הוא המשפט השלישי בתאורייה אזי <math>[s]=3</math>.