 This is the official concept of a generalized quantifier in this article. It was introduced by Lindström (1966), and these quantifiers are sometimes called “Lindström  quantifiers”.[7]  If we fix M to the universe containing “everything”, we essentially have Frege’s notion of a second-level  concept.[8]