Similarly, in classical first-order logic, one of the quantifiers can be defined in terms of the other and negation.
同様に、古典一階述語論理において、一方の量化子は他方と否定を用いて定義できる。