Assertion: integer sequence | /r/CapableOf | exist some formula
Facets:
value: with one free variable
type: OTHER
value: with no parameters
type: OTHER
value: in the language of set theory
type: OTHER
Source sentences:
text: An integer sequence is a definable sequence relative to M if there exists some formula P(x) in the language of set theory, with one free variable and no parameters, which is true in M for that integer sequence and false in M for all other integer sequences.