Interpretations
An interpretation of a formal system is the assignment of meanings to the symbols, and truth-values to the sentences of a formal system. The study of interpretations is called formal semantics. Giving an interpretation is synonymous with constructing a model.
Read more about this topic: Formal Proof, Background