自然语言
注意数学公式混合了量词的符号表达和自然语言量词，比如：