Assertion: set's element | /r/HasProperty | coded by natural numbers
Facets:
value: in such a way
type: MANNER
Source sentences:
text: Conversely, any subset of ω belonging to L ω +1 is arithmetical (because elements of L ω can be coded by natural numbers in such a way that ∈ is definable, i.e., arithmetic).