Assertion: order logic | /r/CapableOf | admit quantification
Facets:
value: over sets
type: OTHER
Source sentences:
text: Higher-order logic is the union of first-, second-, third-, …, nth-order logic; i.e., higher-order logic admits quantification over sets that are nested arbitrarily deeply.