The previous chapters repeatedly emphasized the two levels of a formal system. The first one is the syntactic level. Here, formulas are no more than sequences of symbols, translatable into other formulas by applying formally defined inference rules. The second one is the semantic level, also called the model level. It assigns substantive meaning to symbols and formulas, allowing us to interpret them in contentual terms.