If we are going to axiomatize a system of statements in this case the theorems of the calculus of probability, particularly the special theorem of multiplication or Bernoulli's theorem then the axioms chosen should not only be sufficient for the derivation of the theorems of the system, but also (if we can make them so) necessary.