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

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