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