КВАНТОР – см. Логика предикатов.