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