Quantifiers have scope and a variable x is free if it is not within the scope of a quantification for that variable.
量词有范围，而变量x是自由的，如果它不在这个变量的量化范围内。