Квантор — это логический оператор, который указывает, сколько объектов в домене удовлетворяют утверждению или формуле. Распространенные кванторы включают всеобщую квантификацию, означающую «для всех», и квантор существования, означающий «существует».
In logic, quantification specifies the quantity of specimens in the domain of discourse that satisfy an open formula. The two most common quantifiers mean "for all" and "there exists". For example, in arithmetic, quantifiers allow one to say that the natural numbers go on forever, by writing that for all n (where n is a natural number), there is another number (say, the successor of n) which is one bigger than n.