עצמאות (לוגיקה מתמטית) – שפות אחרות