The definition of theory is:
In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language
So, if i use the First Order Logic formal system, a theory is practically an instance of senteces obtained using the First Order Logic formal system.So, i can create infinite many theories using this formal system.Is it that correct ?