משפטי האי-שלמות של גדל
משפט יסודי בלוגיקה מתמטית / ויקיפדיה האנציקלופדיה encyclopedia
משפטי האי-שלמות של קורט גדל הם צמד משפטים יסודיים בלוגיקה מתמטית, הענף החוקר את יסודות הלוגיקה בכלים מתמטיים.
במשפט הראשון, גדל הראה שכל מערכת אקסיומות אפקטיבית ועשירה מספיק (כזו המכילה חלק מספיק גדול מאקסיומות האריתמטיקה) שהיא עקבית, היא בהכרח לא שלמה, משמע שקיימות טענות שלא ניתנות להכרעה, כלומר שלא ניתן להוכיחן או להפריכן באמצעות מערכת האקסיומות. בכך גדל שם קץ לניסיונות רבים לבנות מערכת אקסיומטית כוללת שממנה תנבע כל המתמטיקה.
ואילו במשפט השני הראה גדל תוצאה עוד יותר חזקה, והיא, שאף אם המערכת עקבית, לא ניתן להוכיח את עקביותה מתוך המערכת.
המשפטים מצוטטים בתרבות הפופולרית בצורות שונות, לעיתים שגויות, ובפרט יש בלבול סביב השאלה האם המשפטים טוענים ש־"קיימות טענות אמיתיות שלא ניתן להוכיח". המשפטים מוכיחים שעבור כל מערכת כמתואר לעיל קיימת טענה על מספרים טבעיים שהיא אמיתית אך אינה ניתנת להוכחה במערכת. עם זאת, קיים גם משפט לכאורה הפוך, משפט השלמות של גדל, שקדם למשפטי האי־שלמות, שטוען שבכל מערכת כזו אפשר להוכיח כל טענה הנכונה בכל מודל המתאים למערכת (כלומר בכל פרשנות אפשרית של המערכת). משילוב שני המשפטים נובע שכל מערכת עקבית לתיאור המספרים הטבעיים אפשר לפרש בצורות שונות, שחלקן שונות מהדרך הרגילה בה אנו תופסים את המספרים הטבעיים. כלומר אפשר להתאים להן מודל שאינו מודל המספרים הטבעיים הסטנדרטי. הטענות שאינן ניתנות להכרעה יהיו אמיתיות בחלק מהמודלים הללו, ושקריות באחרים[1].