任意：全都满足

"对任意 x 都成立"（记作 ∀，读作"任意"）是说：不管 x 取哪个值，句子都为真。只要能找到一个反例，它就被推翻。比如"所有整数都大于 0"是假的，因为 -1 就是反例。