משפטי האי-שלמות של גדל – הבדלי גרסאות

גדל הראה שבכלשכל מערכת אקסיומות סופית[[תורה אפקטיבית|אפקטיבית]] ועשירה מספיק (כזו המכילה חלק מספיק גדול מאקסיומות ה[[אריתמטיקה]]) שהיא [[עקביות (לוגיקה מתמטית)|עקבית]], היא בהכרח לא [[שלמות|שלמה]], משמע שקיימות [[עצמאות_(לוגיקה_מתמטית)|טענות שלא ניתנות להכרעה]], כלומר שלא ניתן להוכיחן או להפריכן. בכך גדל שם קץ לניסיונות רבים [[תוכנית הילברט|לבנות מערכת אקסיומטית כוללת]] שממנה תנבע כל המתמטיקה.