A theory in a Language
is a set of Sentences in .