 To summarize, the Syntactic View holds that there are three kinds of terms or vocabularies: logical, theoretical, and observational; three kinds of sentences: \(T_S\), \(C_S\), and \(O_S\); and two languages: \(L_T\) and \(L_O\). Moreover, the structure of scientific theories could be analyzed using the logical tools of metamathematics. The goal is to reconstruct the logic of science, viz. to articulate an axiomatic system.