Assertion: order arithmetic | /r/HasProperty | true
Facets:
value: in n
type: LOCATION
Source sentences:
text: True arithmetic is defined to be the set of all sentences in the language of first-order arithmetic that are true in N {\displaystyle {