ABSTRACT
Let us try to describe a theory simply as a language for discussing the facts the theory is said to explain. This need not commit us on the philosophical question of whether a theory is only a language, but rather if we knew what sort of language it would be if it were one at all, we might be further towards discovering if it is one. We must try to make our account as general as possible, but we cannot be sure that we have in fact reached the most general type of theory, since the possible complication is infinite.
