 The axioms for plural quantification extend the axioms of quantificational logic with plural counterparts of (\(\forall 1\)), (\(\forall 2\)), and (\(\forall 3\)). Like in the second-order case, the axioms of quantification are supplemented with an axiom schema of plural comprehension: