356.精炼的数学语言