Assertion: model | /r/CapableOf | interpret as some number
Facets:
Source sentences:
text: Any finite subset of these axioms is satisfied by a model that is the standard model of arithmetic plus the constant x interpreted as some number larger than any numeral mentioned in the finite subset of P*.