Assertion: logic's property | /r/HasProperty | least-upper-bound
Facets:
value: upper
type: DEGREE
value: least
type: DEGREE
Source sentences:
text: but one needs second-order logic to assert the least-upper-bound property for sets of real numbers, which states that every bounded, nonempty set of real numbers has a supremum.