根据下面的文字,提炼要点,给“数学语言学”下定义。(5分)