Assertion: standard model | /r/CapableOf | begin with infinite increasing sequence
Facets:
value: in other words
type: OTHER
Source sentences:
text: In other words, a countable non-standard model begins with an infinite increasing sequence (the standard elements of the model).