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