שינויים

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