שינויים

מכיוון שאוסף כל המשפטים בתאורייה הוא בן מנייה ניתן לתת לכל משפט בתאוריה מספר, נסמן מספר זה ב[]בסוגריים מרובעים. לדוגמא: אם <math>s''3 > 5''</math> הוא המשפט השלישי בתאורייה אזי <math>[s''3 > 5'']=3</math>.באופן דומה, נשתמש בסוגריים מסולסלים על מנת לחזור מהמספר אל המשפט. בדוגמא: <math>\{3\}=''3 > 5''</math>. ===הלמה של טרצקי (Diagonal lemma)===::--לכל פרדיקט עם משתנה מספרי אחד <math>P(x)</math> קיים בתאוריה משפט s כך ש: ::::::s אם"ם <math>P([s])</math>