In this paper we introduce the notion of formal consistency, completeness and solvability of logical calculus. It is shown how to prove the method of interpretation of the independence of the axioms of a logical calculus.
propositional calculus, the formal consistency, completeness, decidability, logical calculus, the independence of the axioms, method of interpretation
"O formalnыkh svoistvakh yschyslenyia vыskazыvanyi" [About formal properties of propositional calculus],
Systems of Arms and Military Equipment,