Abstract

The aim of this paper is to propose a particular conception and formulation of the concepts of formal derivation and axiomatic system, which, although not orthodox, remain part of classical first order logic. It is proposed, in particular, that the definition of formal derivation includes the pos..