הבעיה השלוש-עשרה של הילברט – שפות אחרות