Assertion: quantifier | /r/HasProperty | introduced into mathematical logic formalism
Facets:
Source sentences:
text: quantifiers were introduced into mathematical logic formalism.