A formal theory in a Formal language is a set of distinguished formulae , logic
which are typically interpreted as formulae which are true according to the theory and called theorems of the theory.
There are two usual routes to constructing such a theory
Systematic — consists of all theorems of a given formal system in
Semantic — consists of formulae which are true of a given model or interpretation of