 For the Syntactic View, the structure of a scientific theory is its reconstruction in terms of sentences cast in a metamathematical language. Metamathematics is the axiomatic machinery for building clear foundations of mathematics, and includes predicate logic, set theory, and model theory (e.g., Zach 2009; Hacking 2014). A central question of the Syntactic View is: in which logical language should we recast scientific theory?