Defined by symbols; [[Syntax]] & [[Semantics]]. Forms a [[Logics|logic]] together with a [[Proof System|proof system]]. # Examples A [[Language of First Order Logic]] is a formal language in which propositions are expressed in terms of predicates, variables and quantifiers. It is different from [[L1P (Propositional Logic)|propositional logic]] which lacks quantifiers.