“对所有的”、“对任意一个”等词在逻辑中被称为全称量词,记作“∀”,含有全称量词的命题叫做全称命题.
例如：
对M中任意的x,有p(x)成立,记作"∀"x∈M,p(x).读作：每一个x属于M,使p（x）成立.