These quantifiers have been generalized beginning with the work of Mostowski and Lindström.
これらの量化子は、Mostowski と Lindström の研究を端緒として一般化されていった。