These two conditions concern the axiom system as such; as regards the relation of the axiom system to the bulk of the theory, the axioms should be (c) sufficient for the deduction of all statements belonging to the theory which is to be axiomatized, and (d) necessary, for the same purpose;