is defined as "multipliable" when a product of
factors is never zero unless one of the factors is zero. We can prove that a finite number is always multipliable, but we cannot prove that any infinite number is so. The multiplicative axiom is equivalent to the assumption that all cardinal numbers are multipliable. But in order to identify the reflexive with the non-inductive, or to deal with the problem of the boots and socks, or to show that any progression of numbers of the second class is of the second class, we only need the very much smaller assumption that
is multipliable.
It is not improbable that there is much to be discovered in regard to the topics discussed in the present chapter. Cases may be found where propositions which seem to involve the multiplicative axiom can be proved without it. It is conceivable that the multiplicative axiom in its general form may be shown to be false. From this point of view, Zermelo's theorem offers the best hope: the continuum or some still more dense series might be proved to be incapable of having its terms well ordered, which would prove the multiplicative axiom false, in virtue of Zermelo's theorem. But so far, no method of obtaining such results has been discovered, and the subject remains wrapped in obscurity.
CHAPTER XIII
THE AXIOM OF INFINITY AND LOGICAL TYPES
THE axiom of infinity is an assumption which may be enunciated as follows:—
"If
