Подсчет количественных показателей

Счетный квантор обозначает квантор вида «существует по крайней мере k элементов, удовлетворяющих свойству X».
В логике первого порядка с равенством вычислительные кванторы могут быть определены в терминах обычных кванторов.
Обобщенные кванторы счета, говорящие о «бесконечно много», не могут быть выражены с помощью конечного числа формул в логике первого порядка.
Подсчитывающие кванторы могут быть определены рекурсивно в терминах обычных кванторов.

Полный текст статьи:

Количественный подсчет — Википедия