Assertion: generalized quantifier | /r/CapableOf | use finite number of formulas
Facets:
value: in first-order logic
type: LOCATION
Source sentences:
text: Also, generalized counting quantifiers that say "there exists infinitely many" are not expressible using a finite number of formulas in first-order logic.