4.1 Languages
Model theory studies mathematical structures by describing them using formal languages, and the first step is to specify precisely what symbols are available and how they are organized, since the expressive power of a theory depends on the language in which it is written. Languages A first order language is determined by a collection of symbols that are used to build terms and formulas, and these symbols are grouped according...