מערכת האקסיומות של הילברט – שפות אחרות