משפט לוונהיים-סקולם – שפות אחרות