Assertion: substitutional quantifier | /r/HasProperty | \(\sigma \alpha\
Facets:
Source sentences:
text: If we now associate the class of all such terms to the substitutional quantifiers \(\Sigma \alpha\) and \(\Pi \alpha\), then a sentence like \(\Sigma \alpha \ \alpha = \alpha\) is evaluated as true in virtue of the truth of formulas like \(0 = 0\), whereas