No quadro de uma linguagem formal assim entendida, será possível construir um sistema formal, estabelecendo-se um processo de produção da classe de sentenças “verdadeiras”. Se a esta linguagem for associada uma interpretação, poder-se-á especificar, por meio de regras semânticas, quais são as sentenças “verdadeiras”. (Evidentemente, uma interpretação “normal” situará na categoria das sentenças “verdadeiras” aquelas que, em referência aos termos da interpretação em questão, representarem estados de coisas efetivamente realizados). Ademais, pode-se realmente considerar um sistema formal como uma linguagem; com efeito, trata-se de um processo que permite a produção de um conjunto de frases. [Ladrière]