Assertion: order arithmetic | /r/HasProperty | weak version of set theory
Facets:
Source sentences:
text: Second-order arithmetic can also be seen as a weak version of set theory in which every element is either a natural number or a set of natural numbers.