עצמאות (לוגיקה מתמטית)
טענה עצמאית היא טענה שאי אפשר להוכיח ולא אפשר להפריך בעזרת החוקים של מערכת מתמטית. החוקים האלה נקראים אקסיומות. ב־1931 המתמטיקאי קורט גדל הראה שיש מערכות מתמטיות חזקות שבהן יש טענות כאלה. המשמעות היא שהמערכת לא יכולה להיות גם שלמה וגם ללא סתירות. שלמה אומרת שכל טענה מוכחת או נפרכת. ללא סתירות פירוש...