1 文書を見つけるための辞書。

• universal quantifier
• 全称記号
• a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things
• もののクラスのすべてのメンバーにとって、提案が正しいと断言する提案の論理的な数量詞