Этот прием придумал и ввел в математическую запись математик Георг Кантор. Квантор (от лат. quantum – "сколько") – символ математической логики, логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате ее применения. В обычном языке носителями таких характеристик служат слова типа "все", "каждый", "некоторый", "любой", "всякий", "несколько", "существует".

В формализованных языках для выражения всех подобных характеристик оказывается достаточно кванторов двух видов (рис. 21).

Идея кванторизации выходит за рамки буквального смысла и означает перевертывание букв (рис. 22).