עצמאות (לוגיקה מתמטית) – הבדלי גרסאות

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