Assertion: order logic | /r/CapableOf | assert the least-upper-bound property
Facets:
value: for sets of real numbers
type: OTHER
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.