Original: In mathematical logic , a formal theory is a set of sentences expressed in a formal language .
Simplified: The mathematical theory that treats formal languages in general is known as formal language theory .