Terms for subject Mathematics containing quantifiers

English	Russian
alteration of quantifiers	перестановка кванторов (ssn)
bounded quantifier	ограниченный квантор
choice quantifier	квантор выбора
contraction of quantifiers	сжатие кванторов (склеивание)
contraction of quantifiers	свёртывание кванторов
doubly bounded quantifier	ограниченный с двух сторон квантор
dummy quantifier	фиктивный квантор
elimination of quantifiers	элиминация кванторов
existential quantifier	квантор существования
existential quantifier symbol	символ квантора существования
function quantifier	функциональный квантор
fuzzy quantifier	размытый квантор (ssn)
fuzzy quantifier	нечёткий квантор (размытый)
generality quantifier	квантор общности
generalized quantifier	обобщённый квантор
hyperarithmetical quantifier	гиперарифметический квантор
implicational quantifier	импликативный квантор (ssn)
implicational quantifier	импликационный квантор
law of alteration of quantifiers	закон перестановки кванторов
law of transfer of quantifiers	закон пронесения кванторов
logical quantifier	логический квантор
method of elimination of quantifiers	метод исключения кванторов
numerical quantifier	численный квантор
pure quantifier	неограниченный квантор
quantifier algebra	кванторная алгебра
quantifier binding a variable	квантор, связывающий переменную
quantifier form	кванторная форма
quantifier-free calculus	бескванторное исчисление
quantifier-free formula	бескванторная формула
quantifier-free sentence	бескванторное высказывание
quantifier rule	правило квантификации
quantifiers elimination theorem	теорема об элиминации кванторов
recursively bounded quantifier	рекурсивно ограниченный квантор
relativization of quantifiers	релятивизация кванторов
relativizing quantifier	релятивизирующий квантор
removal of quantifiers	вынесение кванторов
restricted quantifier	ограниченный квантор
rule for contraction of quantifiers	правило сжатия кванторов
scope of quantifier	область действия квантора
sequence of quantifiers	кортеж кванторов
statistical quantifier	статистический квантор
type of quantifier	тип квантора
typical quantifier	типовой квантор
unbounded quantifier	неограниченный квантор
universal quantifier	квантор общности
universal quantifier symbol	символ квантора универсальности
unrestricted quantifier	неограниченный квантор
vacuous quantifier	пустой квантор