Kvantorlar matematikalıq logikada predikatlar menen birge quramalı pikirlerdi anlatıwda tiykarǣı rol oynaydı. Olar uliwmalıq (∀) hám bar boliw (∃) formasında bolip, hár bir elementke qarata yaki elementlerdiń bar ekenligine tiyisli logikalıq juwmaqlardı anıq bayan etedi