Assertion: integer sequence | /r/HasProperty | definable
Facets:
value: in the universe
type: LOCATION
Source sentences:
text: Although some integer sequences have definitions, there is no systematic way to define what it means for an integer sequence to be definable in the universe or in any absolute (model independent) sense.