26. Formal Models The main parts of a formal model are: (1) a set of primitives, or undefined terms whose meaning is taken for granted (2) a collection of assumptions (3) a body of rules or logic for linking the parts of the model together (4) various derived propositions that are true by virtue of the rules used to deduce them