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

המשפטים מצוטטים בתרבות הפופולרית בצורות שונות, לעתים שגויות,{{מקור}} ובפרט יש בלבול סביב השאלה האם המשפטים טוענים ש־"קיימות טענות אמיתיות שלא ניתן להוכיח". המשפטים מוכיחים שעבור כל מערכת כמתואר לעיל קיימת טענה על מספרים טבעיים שהיא אמיתית אך אינה ניתנת להוכחה במערכת. עם זאת, קיים גם משפט לכאורה הפוך, [[משפט השלמות של גדל]], שקדם למשפטי האי־שלמות, שטוען שבכל מערכת כזו אפשר להוכיח כל טענה הנכונה בכל [[מודל (לוגיקה מתמטית)|מודל]] המתאים למערכת (כלומר בכל פרשנות אפשרית של המערכת). משילוב שני המשפטים נובע שכל מערכת עקבית לתיאור המספרים טבעיים אפשר לפרש בצורות שונות, שחלקן שונות מהדרך הרגילה בה אנו תופסים את המספרים הטבעיים. כלומר אפשר להתאים להן מודל שאינו מודל המספרים הטבעיים הסטנדרטי. הטענות שאינן ניתנות להכרעה יהיו אמיתיות בחלק מהמודלים הללו, ושקריות באחרים{{הערה|1=[http://www.gadial.net/2009/05/03/godel_incompleteness_yes/ משפטי אי השלמות של גדל - מה הם כן אומרים?] לא מדויק, גדי אלכסנדרוביץ'}}.