On the System of Axioms of the Implicational Propositional Calculus