Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers.
First-order quantifiers such as the existential quantifier, the universal quantifier, and the counting quantifiers are included within the scope of Lindström quantifiers.