system under examination, which is then called the object language, that is, the object of the discussion in question. The notion of theorem just defined should not be confused with theorems about the formal system, which, in order to avoid confusion, are usually called metatheorems.

Formal semantics of logical system

A logical system is a deductive system (most commonly first order logic) together with additional non-logical axioms.

1.Previous
3.Next