Let us also assume that the language is rich enough so that the syntax of (say, via arithmetization) can be expressed in, and that some coding scheme codes finite sequences of elements of into elements of.