7-letter word for a formula in mathematics deduced from other propositions
In other words, sometimes formulas in a formal language are used in ... 
Another view is that a formal language is a mathematical model of a .....