Assertion: bounded quantifier | /r/AtLocation | the study of formal theories
Facets:
value: often
type: TEMPORAL
Source sentences:
text: In the study of formal theories in mathematical logic, bounded quantifiers are often included in a formal language in addition to the standard quantifiers "∀" and "∃".