Study of the syntax and the semantics of formal languages and
It is related to, but does not include, the formal treatment of natural languages (e.g., English, Russian, etc.). Metalogic has led to a great deal of work of a mathematical nature in axiomatic {{link=set theory">set theory , model theory, and recursion theory (in which functions that are computable in a finite number of steps are studied).