fix up cohesiveness errors in this paragraph:
It turns out that for various syntactic properties (such as being a formula, being a sentence, etc.), these sets are computable. Any computable set of numbers can be defined by some arithmetical formula.
It turns out that for various syntactic properties (such as being a formula, being a sentence, etc.), these sets are computable. Moreover, any computable set of numbers can be defined by some arithmetical formula.