相关标签： 叙述 数学 定理 三种 语言