Universal kəmiyyət göstəricisi
Universal kəmiyyət göstəricisi, kvantor (işarəsi: ∀ {\displaystyle \forall } , ∀) — mövcudluq kəmiyyət göstəricisindən fərqli olaraq bütün təyin olunmuş elementlər üçün doğru olan şərtdir, burada şərt yalnız göstərilən çoxluqdan bəzi fərdi elementlər üçün doğrudur. Formal olaraq, bir çoxluğun müəyyən bir predikatın həqiqət domenində olduğunu göstərmək üçün istifadə olunan kəmiyyət göstəricisidir. “Hər kəs üçün...”, “hamı üçün...”, “hər kəs üçün...” və ya “hamısı...”, “hər kəs üçün...”, “hər hansı...” kimi oxuyun. Universal kəmiyyət göstəricisi elə bir obyektdir ki, onun köməyi ilə hansısa məntiqi ifadənin hər şey üçün və ya ən azı bu ifadənin məna kəsb etdiyi tərif sahəsi üçün doğru olması ifadəsi rəsmiləşir. Predikat və simvolik məntiqdə istifadə olunur.