mutually exclusive classes, each having
terms, must have
terms. When
is finite, this can be proved. But when
is infinite, it cannot be proved without the multiplicative axiom, except where, owing to some special circumstance, the existence of certain selectors can be proved. The way the multiplicative axiom enters in is as follows: Suppose we have two sets of