Un cuantificador de conteo es un término matemático para un cuantificador de la forma "existen al menos k elementos que satisfacen la propiedad X ". En la lógica de primer orden con igualdad, los cuantificadores de conteo se pueden definir en términos de cuantificadores ordinarios, por lo que en este contexto son una forma abreviada de notación. Sin embargo, son interesantes en el contexto de lógicas como la lógica de dos variables con conteo que restringe el número de variables en fórmulas. Además, los cuantificadores de conteo generalizados que dicen "existen infinitos" no se pueden expresar usando un número finito de fórmulas en lógica de primer orden.