Assertion: order arithmetic | /r/HasProperty | satisfied
Facets:
Source sentences:
text: The true theory of second-order arithmetic consists of all the sentences in the language of second-order arithmetic that are satisfied by the standard model of second-order arithmetic, whose first-order part is the structure N {\displaystyle {