如果命題 
對於所有 
為真，則記為 
。
是兩個所謂的 量詞 之一，並且翻譯為 全稱量詞 
。
Wolfram 語言 表示式ForAll[x, expr] 可以用來表示 expr 對於 x 的所有值都為真的陳述。
對於所有
另請參閱
幾乎所有 (Almost All), 存在 (Exists), 存在一些 (For Some), 蘊含 (Implies), 量詞 (Quantifier), 全稱量詞 (Universal Quantifier), 全稱語句 (Universal Sentence)使用 探索
請引用為
Weisstein, Eric W. “For All.” 來自 Web 資源。 https://mathworld.tw/ForAll.html