On a new proof completeness of p. i. Propositional Calculus

Abstract

In this paper, in order to obtain some interesting properties of the implicational algebras, we prove a completeness theorem on positive implicational Propositional Calculus in which we use the axiom schema in an essential manner. We demonstrate this theorem without using neither Zorn’s Lemma, nor similar properties.