Niceleme (mantık)
Mantıkta, niceleme, bir açık önermeyi sağlayan örneklerin niceliğini belirten bir yapıdır. Örneğin, aritmetikte, niceleme sayesinde her doğal sayının bir ardılı olduğu ifadesi kurulabilir. Nicelik belirten bir dil öğesi ("her" gibi) niceleyici olarak adlandırılır.