Assertion: quantifier | /r/HasProperty | taken
Facets:
value: if
type: DEGREE
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.