Category:A Reduction in the number of the Primitive Propositions of Logic