Bir $E$ evrenine ilişkin bir $P(x)$ açık önermesi, $x$ yerine $E$ ’ den bir eleman geldiği zaman bir önerme olur. $P(x)$ gibi bir açık önermeden bir önerme elde edebilmenin bir yolu da, bunun önüne bazı niceleyiciler getirmektir. $E$ konu evreni, $\mid E \mid$ evrenin kardinalitesi (eleman çokluğu), $P(x)$ evrenle ilgili bir açık önerme, $E$ ' nin $P(x)$ ’ i doğru kılan ve yanlış kılan elemanlarının kümeleri,
$$A=\{x\mid P(x)\} \text{ ve } B=\left\{x\mid \overline{P(x)}\right\}$$
olmak üzere kardinaller kümesinde
$$\alpha =\{(\mid A\mid , \mid B\mid) \mid \,\ \mid A\mid +\mid B\mid = \mid E\mid \}$$
ikili bağıntısının boş olmayan her $\beta$ alt bağıntısına $E$ evrenine dair bir niceleyici denir.
$\forall !$ sembolü ile gösterilen niceleyiciye çokluk niceleyicisi denir. $E$ konu evreni olmak üzere
$$\forall !:=\{(\mid A\mid ,\mid B\mid ) \mid \,\ \mid A\mid + \mid B\mid =\mid E\mid , \mid B\mid <\mid A\mid )\}$$
şeklinde tanımlanır.