 In short, for the Semantic View the structure of a scientific theory is its class of mathematical models. According to some advocates of this view, the family of models can itself be axiomatized, with those very models (or other models) serving as axiom truth-makers. 