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