Assertion: order arithmetic | /r/CapableOf | formalize set
Facets:
value: directly
type: MANNER
Source sentences:
text: Second-order arithmetic directly formalizes natural numbers and sets of natural numbers.