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