常见不等式的基本语言