if each well-formed formula that can be inferred from the axioms is satisfied by every model of the logical system.
*Semantically complete, if each well-formed formula that is satisfied by every model of the logical system can be inferred from the axioms.

An example of a logical system is Peano arithmetic. The standard model of arithmetic sets the domain of discourse to be the nonnegative integers