如果命题 
对于所有 
为真，则记为 
。
是两个所谓的 量词 之一，并且翻译为 全称量词 
。
Wolfram 语言 表达式ForAll[x, expr] 可以用来表示 expr 对于 x 的所有值都为真的陈述。
对于所有
另请参阅
几乎所有 (Almost All), 存在 (Exists), 存在一些 (For Some), 蕴含 (Implies), 量词 (Quantifier), 全称量词 (Universal Quantifier), 全称语句 (Universal Sentence)使用 Wolfram|Alpha 探索
请引用为
Weisstein, Eric W. “For All.” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ForAll.html