These axioms, and likewise the so-called definitions, are, as has already been said, results of induction; true of all objects whatever, and, as it may seem, exactly true, without the hypothetical assumption of unqualified truth where an approximation to it is all that exists. The conclusions, therefore, it will naturally be inferred, are exactly true, and the science of number is an exception to other demonstrative sciences in this, that the categorical certainty which is predicable of its demonstrations is independent of all hypothesis.
On more accurate investigation, however, it will be found that, even in this case, there is one hypothetical element in the ratiocination. In all propositions concerning numbers, a condition is implied, without which none of them would be true; and that condition is an assumption which maybe false. The condition, is that 1 = 1; that all the numbers are numbers of the same or of equal units. Let this be doubtful, and not one of the propositions of arithmetic will hold true. How can we know that one pound and one pound make two pounds, if one of the pounds may be troy, and the other avoirdupois? They may not make two pounds of either, or of any weight. How can we know that a forty-horse power is always equal to itself, unless we assume that all horses are of equal strength? It is certain that 1 is always equal in _number_ to 1; and where the mere number of objects, or of the parts of an object, without supposing them to be equivalent in any other respect, is all that is material, the conclusions of arithmetic, so far as they go to that alone, are true without mixture of hypothesis. There are a few such cases; as, for instance, an inquiry into the amount of the population of any country. It is indifferent to that inquiry whether they are grown people or children, strong or weak, tall or short; the only thing we want to ascertain is their number. But whenever, from equality or inequality of number, equality or inequality in any other respect is to be inferred, arithmetic carried into such inquiries becomes as hypothetical a science as geometry. All units must be assumed to be equal in that other respect; and this is never accurately true, for one actual pound weight is not exactly equal to another, nor one measured mile's length to another; a nicer balance, or more accurate measuring instruments, would always detect some difference.