a group of symbols that make a mathematical statement

• 表达数学陈述的一组符号