Similarly, in classical first-order logic, one of the quantifiers can be defined in terms of the other and negation.
Точнісінько так само в класичній логіці першого порядку, один з кванторів може бути визначений з точки зору іншого та заперечення.