Assertion: quantifier | /r/CapableOf | range over universal domain
Facets:
value: unrestrictedly
type: MANNER
Source sentences:
text: This reflection principle makes sure that a formula \(A\) of the language of second-order set theory is true when the quantifiers are taken to range unrestrictedly over the universal domain if, and only if, \(A\) is true when the quantifiers are restricted to some set-sized initial segment of the universe of a certain sort.