Assertion: order arithmetic | /r/CapableOf | allow quantification
Facets:
value: over such sets
type: OTHER
Source sentences:
text: Because real numbers can be represented as (infinite) sets of natural numbers in well-known ways, and because second-order arithmetic allows quantification over such sets, it is possible to formalize the real numbers in second-order arithmetic.