Study of the syntax and the semantics of formal languages and formal systems .
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 set theory , model theory, and recursion theory (in which functions that are computable in a finite number of steps are studied).