Theoretical linguistics studies diverse questions: how certain languages managed to communicate, what properties all languages have in common, what knowledge a person must have to be able to use a language, and language acquisition.

... in M, such that
p(x) is true and the set {y in N | p(y)} is finite. It turns
out that applying this definition to the theory of fields gives the
usual definition of ...