"Axiom III amounts to finite additivity because Reichenbach's logic does not have infinite disjunctions (a finite restriction of Kolmogorov's third axiom, which postulates additivity of probabilities for countable, even infinite, disjoint sets), but axiom IV (at least its interpretation in terms of the chain rule) follows from Kolmorogov's first three axioms."