Complex sentence: Let "T" be a first-order theory in the language of arithmetic that is capable of representing all computable functions, and let ψ be a formula in the theory "T" with one free variable.
Split into simpler sentences: Let "T" be a first-order theory in the language of arithmetic and capable of representing all computable functions. Let ψ be a formula in the theory "T" with one free variable.