英语 ⇄ 中文 中文简体 丹麦语 俄语 冰岛语 匈牙利语 德语 意大利语 拉脱维亚语 挪威博克马尔语 捷克语 日语 法语 波兰语 泰语 爱沙尼亚语 瑞典语 立陶宛语 芬兰语 荷兰语 葡萄牙语 西班牙语 阿拉伯语 +

mathematical statement
微软	matemātiska izteiksme (A combination of symbols that form a logical sentence that is true or false under a given interpretation)