Does a first order logic system consist only of
- a first order language
- a first order deductive system?
Is a first order logic system nothing more than a formal system?
Is the semantics of a first order logic system defined as part of the first order logic system? In other words, is a first order logic system defined to also consist of its semantics? (By semantics, for example, the logical consequential relation between formulas)
Thanks.